(LAP EVLIS SUBR)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE EVAL) S)
	(JRST 0Q *MAPC)
	NIL

(LAP THPRINT2 SUBR)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE / ) S)
	(CALL 1Q (E PRINC) S)
	(POP P 1Q)
	(JCALL 1Q (E PRINC) S)
	NIL

(LAP THPRINTC SUBR)
	(PUSH P 1Q)
	(CALL 0Q (E TERPRI) S)
	(POP P 1Q)
	(CALL 1Q (E PRINC) S)
	(MOVEI 1Q (QUOTE / ) S)
	(JCALL 1Q (E PRINC) S)
	NIL

(LAP THADD SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THTT) S)
	(0Q 0Q (SPECIAL THNF) S)
	(0Q 0Q (SPECIAL THWH) S)
	(0Q 0Q (SPECIAL THLAS) S)
	(0Q 0Q (SPECIAL THTTL) S)
	(0Q 0Q (SPECIAL THFST) S)
	(0Q 0Q (SPECIAL THFSTP) S)
	(PUSH P 2Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG7)
	(MOVEI 2Q (QUOTE THEOREM) S)
	(MOVE 1Q (SPECIAL THTT) S)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q -1Q P)
	(JUMPN 1Q TAG10)
	(MOVE 1Q (SPECIAL THTT) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (CANT THASSERT/, NO THEOREM - THADD)) S)
	(CALL 17Q (E THERT) S)
 TAG10	(HLRZ@ 1Q -1Q P)
	(MOVEM 1Q (SPECIAL THWH) S)
	(MOVE 1Q (SPECIAL THTT) S)
	(MOVEM 1Q (SPECIAL THTTL) S)
	(MOVE 1Q -3Q P)
	(JUMPE 1Q TAG12)
 TAG1	(HLRZ@ 3Q -3Q P)
	(HRRZ@ 2Q -3Q P)
	(HLRZ@ 2Q 2Q)
	(MOVE 1Q (SPECIAL THTT) S)
	(CALL 3Q (E THPUTPROP) S)
	(HRRZ@ 1Q -3Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q -3Q P)
	(JUMPN 1Q TAG1)
 TAG12	(HRRZ@ 1Q -1Q P)
	(CALL 1Q (E CADR) S)
	(JRST 0Q TAG6)
 TAG7	(MOVEI 1Q (QUOTE THASSERTION) S)
	(MOVEM 1Q (SPECIAL THWH) S)
	(MOVE 1Q (SPECIAL THTT) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTTL) S)
	(MOVE 1Q (SPECIAL THTT) S)
 TAG6	(MOVEM 1Q 0Q P)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E LENGTH) S)
	(MOVEM 1Q (SPECIAL THLAS) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THFST) S)
 TAG2	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG21)
	(MOVE 1Q -2Q P)
	(MOVEM 1Q 0Q P)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(CLEARB 1Q (SPECIAL THFST) S)
	(MOVEM 1Q -2Q P)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THFSTP) S)
	(JRST 0Q TAG2)
 TAG21	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E THIP) S)
	(MOVEM 1Q -1Q P)
	(JUMPE 1Q TAG4)
	(CAIN 1Q (QUOTE THOK) S)
	(JRST 0Q TAG20)
	(PUSH P -2Q P)
	(CAIE 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG24)
	(HLRZ@ 1Q -1Q P)
	(JRST 0Q TAG23)
 TAG24	(MOVEI 1Q (QUOTE NIL))
 TAG23	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E *NCONC) S)
	(MOVEM 1Q -2Q P)
	(JUMPE 1Q TAG22)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG2)
 TAG22
 TAG20	(CLEARM 1Q (SPECIAL THFST) S)
	(HRRZ@ 2Q 0Q P)
	(MOVEI 1Q (QUOTE THIP) S)
	(PUSHJ P *MAPC)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(MOVE 2Q -2Q P)
	(MOVEI 1Q (QUOTE THIP) S)
	(PUSHJ P *MAPC)
	(MOVE 1Q (SPECIAL THTTL) S)
	(JRST 0Q TAG3)
 TAG4	(MOVEI 1Q (QUOTE NIL))
 TAG3	(SUB P (C 4Q 0Q 4Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THAMONG FSUBR)
	(PUSH P 1Q)
	(CALL 1Q (E CAAR) S)
	(CAIE 1Q (QUOTE THEV) S)
	(JRST 0Q TAG4)
	(MOVE 2Q (SPECIAL THALIST) S)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CALL 2Q (E THVAL) S)
	(JRST 0Q TAG3)
 TAG4	(HLRZ@ 1Q 0Q P)
 TAG3	(MOVE 2Q (SPECIAL THALIST) S)
	(CALL 2Q (E THGAL) S)
	(MOVEM 1Q (SPECIAL THXX) S)
	(CALL 1Q (E CADR) S)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(JRST 0Q TAG2)
	(MOVE 2Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(PUSH P (SPECIAL THXX) S)
	(CALL 2Q (E THVAL) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THAMONG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(MOVE 2Q (SPECIAL THALIST) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E MEMBER) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THAMONG THAMONGF THFAIL)

(LAP THAMONGF SUBR)
	(MOVE 1Q (SPECIAL THMESSAGE) S)
	(JUMPE 1Q TAG2)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADDR) S)
	(JUMPE 1Q TAG3)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDADR) S)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THBRANCH) S)
	(MOVE 1Q (SPECIAL THALIST) S)
	(MOVEM 1Q (SPECIAL THABRANCH) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG1)
 TAG3	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDADR) S)
	(MOVEI 2Q (QUOTE THUNASSIGNED) S)
	(HRLM@ 2Q 1Q)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(POPJ P)
	NIL

(LAP THAND FSUBR)
	(PUSH P 1Q)
	(JUMPE 1Q TAG2)
	(TDZA 1Q 1Q)
 TAG2	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG1)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THAND) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HLRZ@ 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THEXP) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THAND THANDT THSUCCEED)

(DEFPROP THAND THANDF THFAIL)

(LAP THANDF SUBR)
	(CALL 0Q (E THBRANCHUN) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THANDT SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDADR) S)
	(JUMPE 1Q TAG2)
	(CALL 0Q (E THBRANCH) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(JRST 0Q TAG1)
 TAG2	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
 TAG1	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(LAP THANTE FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE THANTE) S)
	(CALL 2Q (E THDEF) S)
	(JRST 0Q SPECSTR)
	NIL

(LAP THAPPLY FSUBR)
	(MOVEI 2Q (QUOTE THEOREM) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E GET) S)
	(HRRZ@ 3Q 0Q P)
	(HLRZ@ 3Q 3Q)
	(EXCH 2Q 1Q)
	(HLRZ@ 1Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JCALL 3Q (E THAPPLY1) S)
	NIL

(LAP THAPPLY1 SUBR)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(PUSH P 3Q)
	(HRRZ@ 1Q 2Q)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E THBIND) S)
	(JUMPE 1Q TAG2)
	(HRRZ@ 2Q -1Q P)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E THMATCH1) S)
	(JUMPE 1Q TAG2)
	(MOVE 1Q (SPECIAL THTRACE) S)
	(JUMPE 1Q TAG6)
	(MOVE 2Q -2Q P)
	(MOVEI 1Q (QUOTE THEOREM) S)
	(CALL 2Q (E THTRACES) S)
 TAG6	(MOVE 2Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE (THEOREM)) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q -1Q P)
	(HRRZ@ 1Q 1Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(HRRZ@ 2Q -1Q P)
	(HRRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THPROG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(CALL 0Q (E THPROGA) S)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG1)
 TAG2	(MOVE 1Q (SPECIAL THOLIST) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 3Q 0Q 3Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THEOREM THPOPTV THSUCCEED)

(DEFPROP THEOREM THPOPTV THFAIL)

(LAP THEOREM THTRACE)
	(PUSH P 1Q)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(JUMPE 2Q TAG2)
	(MOVEI 1Q (QUOTE (THERT)) S)
	(JRST 0Q TAG1)
 TAG2	(MOVEI 1Q (QUOTE NIL))
 TAG1	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE (AND THVALUE (PRIN1 THVALUE))) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q -2Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTRACES) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE ENTERING/ THEOREM) S)
	(CALL 1Q (E THPRINTC) S)
	(EXCH 1Q -1Q P)
	(SUB P (C 3Q 0Q 3Q 0Q))
	(JCALL 1Q (E PRIN1) S)
	NIL

(LAP THASS1 SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(0Q 0Q (SPECIAL THY1) S)
	(0Q 0Q (SPECIAL THY) S)
	(0Q 0Q (SPECIAL TYPE) S)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(HRRZ@ 1Q 1Q)
	(JUMPE 1Q TAG5)
	(CALL 1Q (E CAAR) S)
	(CAIE 1Q (QUOTE THPSEUDO) S)
	(JRST 0Q TAG7)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q 0Q P)
 TAG7
 TAG5	(HLRZ@ 1Q -2Q P)
	(MOVEM 1Q (SPECIAL THX) S)
	(CALL 1Q (E ATOM) S)
	(JUMPN 1Q TAG10)
	(MOVEI 2Q (QUOTE NIL))
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 2Q (E THVARSUBST) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(CALL 1Q (E THPURE) S)
	(JUMPN 1Q TAG10)
	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG10)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (IMPURE ASSERTION OR ERASURE - THASS1)) S)
	(CALL 17Q (E THERT) S)
 TAG10	(MOVE 1Q (SPECIAL THTRACE) S)
	(JUMPE 1Q TAG12)
	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG14)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG16)
	(MOVEI 1Q (QUOTE THASSERT) S)
	(JRST 0Q TAG15)
 TAG16	(MOVEI 1Q (QUOTE THERASE) S)
 TAG15	(MOVE 2Q (SPECIAL THX) S)
	(CALL 2Q (E THTRACES) S)
 TAG14
 TAG12	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG20)
	(HRRZ@ 1Q -2Q P)
	(HRRZ@ 1Q 1Q)
	(JRST 0Q TAG17)
 TAG20	(HRRZ@ 1Q -2Q P)
 TAG17	(MOVEM 1Q -2Q P)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG23)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E NCONS) S)
	(JRST 0Q TAG22)
 TAG23	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG24)
	(PUSH P (SPECIAL THX) S)
	(MOVE 2Q -3Q P)
	(JUMPE 2Q TAG26)
	(HLRZ@ 1Q 2Q)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THPROP) S)
	(JRST 0Q TAG26)
	(HLRZ@ 1Q -3Q P)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E *EVAL) S)
	(HRRZ@ 2Q -3Q P)
	(EXCH 2Q 1Q)
	(MOVEM 1Q -3Q P)
	(JRST 0Q TAG25)
 TAG26	(MOVEI 2Q (QUOTE NIL))
 TAG25	(MOVEM 2Q (SPECIAL THY) S)
	(POP P 1Q)
	(CALL 2Q (E THADD) S)
	(JRST 0Q TAG22)
 TAG24	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E THREMOVE) S)
 TAG22	(MOVEM 1Q (SPECIAL THX) S)
	(JUMPN 1Q TAG21)
	(JRST 0Q TAG2)
 TAG21	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG33)
	(MOVEI 1Q (QUOTE THANTE) S)
	(MOVEM 1Q (SPECIAL TYPE) S)
	(JRST 0Q TAG32)
 TAG33	(MOVEI 1Q (QUOTE THERASING) S)
	(MOVEM 1Q (SPECIAL TYPE) S)
 TAG32	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG34)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG36)
	(MOVEI 1Q (QUOTE THASSERT) S)
	(JRST 0Q TAG35)
 TAG36	(MOVEI 1Q (QUOTE THERASE) S)
 TAG35	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THY) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q (SPECIAL THX) S)
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
 TAG34	(PUSH P (C 0Q 0Q TAG37 0Q))
	(MOVEI D (QUOTE THTAE) S)
	(PUSH P D)
	(PUSH P -4Q P)
	(MOVNI 6Q 2Q)
	(JCALL 16Q (E MAPCAN) S)
 TAG37	(MOVEM 1Q (SPECIAL THY) S)
	(JUMPE 1Q TAG41)
	(MOVEI 2Q (QUOTE THDO) S)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
 TAG41	(MOVE 1Q (SPECIAL THX) S)
	(JRST 0Q TAG1)
 TAG2	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 3Q 0Q 3Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THASSERT FSUBR)
	(MOVEI 2Q (QUOTE T) S)
	(JCALL 2Q (E THASS1) S)
	NIL

(DEFPROP THASSERT THASSERTT THSUCCEED)

(DEFPROP THASSERT THASSERTF THFAIL)

(LAP THASSERT THTRACE)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE (A)) S)
	(PUSH P 2Q)
	(CALL 17Q (E THGENS) S)
	(PUSH P 1Q)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE (THERT)) S)
 TAG2	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTRACES) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE ASSERTING) S)
	(CALL 1Q (E PRINT) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E PRIN1) S)
	(MOVEI 1Q (QUOTE / ) S)
	(CALL 1Q (E PRINC) S)
	(EXCH 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JCALL 1Q (E PRIN1) S)
	NIL

(LAP THASSERTF SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG2)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CAADR) S)
 TAG1	(CALL 1Q (E THREMOVE) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THASSERTT SUBR)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(PUSH P (SPECIAL THTREE) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q -1Q P)
	(CALL 1Q (E CADR) S)
	(POP P (SPECIAL THTREE) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THASVAL FSUBR)
	(PUSH P 1Q)
	(CALL 1Q (E THSGAL) S)
	(MOVEM 1Q 0Q P)
	(JUMPE 1Q TAG2)
	(CALL 1Q (E CADR) S)
	(PUSH P 1Q)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(JRST 0Q TAG3)
	(TDZA 1Q 1Q)
 TAG3	(MOVEI 1Q (QUOTE T) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THBA SUBR)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(PUSH P 2Q)
 TAG1	(MOVE 1Q (SPECIAL THPC) S)
	(JUMPE 1Q TAG10)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(JRST 0Q TAG7)
 TAG10	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E CAAR) S)
 TAG7	(CAME 1Q -2Q P)
	(JRST 0Q TAG6)
	(MOVE 1Q 0Q P)
	(JRST 0Q TAG2)
 TAG6	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 2Q 1Q)
	(MOVEM 1Q 0Q P)
	(JUMPN 2Q TAG12)
	(JRST 0Q TAG3)
 TAG12	(JRST 0Q TAG1)
 TAG3	(MOVEI 1Q (QUOTE NIL))
 TAG2	(SUB P (C 3Q 0Q 3Q 0Q))
	(POPJ P)
	NIL

(LAP THBAP SUBR)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(PUSH P 2Q)
 TAG1	(MOVE 1Q (SPECIAL THPC) S)
	(JUMPE 1Q TAG10)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(JRST 0Q TAG7)
 TAG10	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E CAAR) S)
 TAG7	(MOVE 2Q -2Q P)
	(CALL 2Q (E EQUAL) S)
	(JUMPE 1Q TAG6)
	(MOVE 1Q 0Q P)
	(JRST 0Q TAG2)
 TAG6	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 2Q 1Q)
	(MOVEM 1Q 0Q P)
	(JUMPN 2Q TAG12)
	(JRST 0Q TAG3)
 TAG12	(JRST 0Q TAG1)
 TAG3	(MOVEI 1Q (QUOTE NIL))
 TAG2	(SUB P (C 3Q 0Q 3Q 0Q))
	(POPJ P)
	NIL

(LAP THBIND SUBR)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THALIST) S)
	(MOVEM 1Q (SPECIAL THOLIST) S)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG3)
	(TDZA 1Q 1Q)
 TAG3	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG2)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG10)
	(MOVE 1Q (SPECIAL THOLIST) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THREMBIND) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG4)
 TAG10	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG12)
	(MOVEI 1Q (QUOTE THUNASSIGNED) S)
	(CALL 1Q (E NCONS) S)
	(HLRZ@ 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG11)
 TAG12	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THRESTRICT) S)
	(JRST 0Q TAG13)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E THBI1) S)
	(HLRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(CALL 2Q (E *NCONC) S)
	(JRST 0Q TAG11)
 TAG13	(PUSH P 1Q)
	(HLRZ@ 1Q -1Q P)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E *EVAL) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
 TAG11	(MOVE 2Q (SPECIAL THALIST) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG4
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THBI1 SUBR)
	(PUSH P 1Q)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE THUNASSIGNED) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q 0Q P)
	(PUSH P 1Q)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E *EVAL) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THBKPT FSUBR)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THTRACE) S)
	(JUMPE 1Q TAG3)
	(MOVE 2Q 0Q P)
	(MOVEI 1Q (QUOTE THBKPT) S)
	(CALL 2Q (E THTRACES) S)
 TAG3	(JUMPN 1Q TAG1)
	(MOVE 1Q (SPECIAL THVALUE) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THBKPT THTRACE)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE (B)) S)
	(PUSH P 2Q)
	(CALL 17Q (E THGENS) S)
	(PUSH P 1Q)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE (THERT)) S)
 TAG2	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTRACES) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE PASSING/ BKPT) S)
	(CALL 1Q (E THPRINTC) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E PRIN1) S)
	(MOVEI 1Q (QUOTE / ) S)
	(CALL 1Q (E PRINC) S)
	(MOVE 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THBRANCH) S)
	(MOVE 1Q (SPECIAL THALIST) S)
	(MOVEM 1Q (SPECIAL THABRANCH) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(EXCH 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JCALL 1Q (E PRIN1) S)
	NIL

(LAP THBRANCH SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDADR) S)
	(JUMPE 1Q TAG2)
	(TDZA 1Q 1Q)
 TAG2	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG1)
	(MOVE 1Q (SPECIAL THBRANCH) S)
	(CAME 1Q (SPECIAL THTREE) S)
	(JRST 0Q TAG3)
	(CLEARB 1Q (SPECIAL THBRANCH) S)
	(JRST 0Q TAG1)
 TAG3	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q (SPECIAL THABRANCH) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THBRANCH) S)
	(CALL 2Q (E XCONS) S)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E CONS) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(POP P 2Q)
	(HRLM@ 2Q 1Q)
	(JUMPE 1Q TAG4)
	(CLEARB 1Q (SPECIAL THBRANCH) S)
 TAG4
 TAG1	(POPJ P)
	NIL

(LAP THBRANCHUN SUBR)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADDR) S)
	(MOVEM 1Q 0Q P)
	(JUMPE 1Q TAG5)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(HRRZ@ 2Q 0Q P)
	(HRLM@ 2Q 1Q)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG4)
 TAG5	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG4	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THCOND FSUBR)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THCOND) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THCOND THCONDT THSUCCEED)

(DEFPROP THCOND THCONDF THFAIL)

(LAP THCONDF SUBR)
	(MOVEI 1Q (QUOTE NIL))
	(JCALL 1Q (E THOR2) S)
	NIL

(LAP THCONDT SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEI 2Q (QUOTE THAND) S)
	(HRLM@ 2Q 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 1Q)
	(HLRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(LAP THCONSE FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE THCONSE) S)
	(CALL 2Q (E THDEF) S)
	(JRST 0Q SPECSTR)
	NIL

(LAP THDATA SUBR)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(CALL 0Q (E TERPRI) S)
	(CALL 0Q (E READ) S)
	(MOVEM 1Q 0Q P)
	(JUMPN 1Q TAG6)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG2)
 TAG6	(HRRZ@ 2Q 1Q)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THADD) S)
	(CALL 1Q (E PRINT) S)
	(JRST 0Q TAG1)
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THDEF SUBR)
	(JSP 6Q SPECBIND)
	(0Q 2Q (SPECIAL THX) S)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(HLRZ@ 1Q 2Q)
	(CALL 1Q (E ATOM) S)
	(JUMPN 1Q TAG5)
	(MOVEM 2Q -2Q P)
	(MOVE 1Q -3Q P)
	(CAIE 1Q (QUOTE THCONSE) S)
	(JRST 0Q TAG7)
	(MOVEI 1Q (QUOTE (TC-G)) S)
	(CALL 17Q (E THGENAME) S)
	(MOVEM 1Q -1Q P)
	(JRST 0Q TAG6)
 TAG7	(CAIE 1Q (QUOTE THANTE) S)
	(JRST 0Q TAG10)
	(MOVEI 1Q (QUOTE (TA-G)) S)
	(CALL 17Q (E THGENAME) S)
	(MOVEM 1Q -1Q P)
	(JRST 0Q TAG6)
 TAG10	(CAIE 1Q (QUOTE THERASING) S)
	(JRST 0Q TAG11)
	(MOVEI 1Q (QUOTE (TE-G)) S)
	(CALL 17Q (E THGENAME) S)
	(MOVEM 1Q -1Q P)
 TAG11
 TAG6	(JRST 0Q TAG4)
 TAG5	(HLRZ@ 1Q 2Q)
	(MOVEM 1Q -1Q P)
	(JUMPE 1Q TAG12)
	(HRRZ@ 1Q 2Q)
	(MOVEM 1Q -2Q P)
 TAG12
 TAG4	(HLRZ@ 1Q -2Q P)
	(CAIE 1Q (QUOTE THNOASSERT) S)
	(JRST 0Q TAG14)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q 0Q P)
	(HRRZ@ 1Q -2Q P)
	(MOVEM 1Q -2Q P)
 TAG14	(MOVE 2Q -2Q P)
	(MOVE 1Q -3Q P)
	(CALL 2Q (E CONS) S)
	(MOVEI 3Q (QUOTE THEOREM) S)
	(MOVE 2Q 1Q)
	(MOVE 1Q -1Q P)
	(CALL 3Q (E THPUTPROP) S)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG16)
	(MOVEI 1Q (QUOTE ASSERTED) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NOT) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE BUT) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE DEFINED) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E PRINT) S)
	(JRST 0Q TAG15)
 TAG16	(MOVE 1Q -1Q P)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE T) S)
	(CALL 2Q (E THASS1) S)
	(JUMPE 1Q TAG17)
	(MOVEI 1Q (QUOTE ASSERTED) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE AND) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE DEFINED) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E PRINT) S)
	(JRST 0Q TAG15)
 TAG17	(MOVEI 1Q (QUOTE REDEFINED) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E PRINT) S)
 TAG15	(MOVEI 1Q (QUOTE T) S)
	(SUB P (C 4Q 0Q 4Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THDO FSUBR)
	(PUSH P 1Q)
	(JUMPE 1Q TAG2)
	(TDZA 1Q 1Q)
 TAG2	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG1)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THDO) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HLRZ@ 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THEXP) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THDO THDOB THSUCCEED)

(DEFPROP THDO THDOB THFAIL)

(LAP THDO1 SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CAADR) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(MOVE 1Q (SPECIAL THBRANCH) S)
	(JUMPE 1Q TAG2)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E CONS) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(POP P 2Q)
	(HRLM@ 2Q 1Q)
	(CLEARM 1Q (SPECIAL THBRANCH) S)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(MOVE 1Q (SPECIAL THABRANCH) S)
	(CALL 2Q (E CONS) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDDR) S)
	(POP P 2Q)
	(HRLM@ 2Q 1Q)
 TAG2	(POPJ P)
	NIL

(LAP THDOB SUBR)
	(MOVE 1Q (SPECIAL THMESSAGE) S)
	(JUMPN 1Q TAG3)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDADR) S)
	(JUMPN 1Q TAG2)
 TAG3	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEI 2Q (QUOTE THUNDO) S)
	(HRLM@ 2Q 1Q)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG1)
 TAG2	(CALL 0Q (E THDO1) S)
 TAG1	(POPJ P)
	NIL

(LAP THDUMP FSUBR)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE DSK:) S)
	(CALL 2Q (E XCONS) S)
	(CALL 17Q (E OUTPUT) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E OUTC) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q -1Q P)
	(CALL 17Q (E THSTATE) S)
	(MOVEI 2Q (QUOTE T) S)
	(POP P 1Q)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JCALL 2Q (E OUTC) S)
	NIL

(LAP THERASE FSUBR)
	(MOVEI 2Q (QUOTE NIL))
	(JCALL 2Q (E THASS1) S)
	NIL

(DEFPROP THERASE THERASET THSUCCEED)

(DEFPROP THERASE THERASEF THFAIL)

(LAP THERASE THTRACE)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE (E)) S)
	(PUSH P 2Q)
	(CALL 17Q (E THGENS) S)
	(PUSH P 1Q)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE (THERT)) S)
 TAG2	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTRACES) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE ERASING) S)
	(CALL 1Q (E PRINT) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E PRIN1) S)
	(MOVEI 1Q (QUOTE / ) S)
	(CALL 1Q (E PRINC) S)
	(EXCH 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JCALL 1Q (E PRIN1) S)
	NIL

(LAP THERASEF SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG2)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CAADR) S)
 TAG1	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG5)
	(MOVEI 2Q (QUOTE NIL))
	(JRST 0Q TAG4)
 TAG5	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
 TAG4	(POP P 1Q)
	(CALL 2Q (E THADD) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THERASET SUBR)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(PUSH P (SPECIAL THTREE) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q -1Q P)
	(CALL 1Q (E CADR) S)
	(POP P (SPECIAL THTREE) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THERASING FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE THERASING) S)
	(CALL 2Q (E THDEF) S)
	(JRST 0Q SPECSTR)
	NIL

(LAP THFAIL FSUBR)
	(PUSH P 1Q)
	(JUMPE 1Q TAG10)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(HLRZ@ 1Q -2Q P)
	(CAIE 1Q (QUOTE THTAG) S)
	(JRST 0Q TAG15)
	(MOVEI 1Q (QUOTE THPROG) S)
	(MOVEM 1Q -1Q P)
	(JRST 0Q TAG14)
 TAG15	(CAIE 1Q (QUOTE THINF) S)
	(JRST 0Q TAG16)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THINF) S)
	(JRST 0Q TAG12)
 TAG16	(CAIE 1Q (QUOTE THMESSAGE) S)
	(JRST 0Q TAG17)
	(HRRZ@ 1Q -2Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THMESSAGE) S)
	(JRST 0Q TAG12)
 TAG17	(MOVEM 1Q -1Q P)
 TAG14	(MOVE 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q 0Q P)
 TAG2	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG22)
	(MOVE 1Q -2Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (NOT FOUND - THFAIL)) S)
	(CALL 17Q (E THERT) S)
	(MOVEM 1Q -2Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG24)
	(MOVE 1Q -2Q P)
	(JRST 0Q TAG11)
 TAG24	(JRST 0Q TAG1)
	(JRST 0Q TAG21)
 TAG22	(CALL 1Q (E CAAR) S)
	(CAMN 1Q -1Q P)
	(JRST 0Q TAG4)
 TAG21
 TAG3	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG2)
 TAG4	(HLRZ@ 1Q -2Q P)
	(CAIE 1Q (QUOTE THTAG) S)
	(JRST 0Q TAG26)
	(HLRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 1Q -2Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E MEMQ) S)
	(JUMPN 1Q TAG5)
	(JRST 0Q TAG3)
 TAG26	(PUSH P 0Q P)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(HRRZ@ 1Q -3Q P)
	(JUMPE 1Q TAG31)
	(HLRZ@ 1Q 1Q)
 TAG31	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q (SPECIAL THMESSAGE) S)
	(JRST 0Q TAG12)
 TAG5	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADDR) S)
	(MOVEM 1Q (SPECIAL THX) S)
 TAG6	(MOVE 1Q (SPECIAL THX) S)
	(JUMPE 1Q TAG3)
	(HRRZ@ 1Q -2Q P)
	(HLRZ@ 1Q 1Q)
	(HLRZ@ 2Q (SPECIAL THX) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(CAME 2Q 1Q)
	(JRST 0Q TAG33)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(HRRZ@ 1Q -3Q P)
	(HRRZ@ 1Q 1Q)
	(JUMPE 1Q TAG35)
	(HLRZ@ 1Q 1Q)
 TAG35	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q (SPECIAL THMESSAGE) S)
	(JRST 0Q TAG12)
 TAG33	(HRRZ@ 1Q (SPECIAL THX) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(JRST 0Q TAG6)
 TAG12	(MOVEI 1Q (QUOTE NIL))
 TAG11	(PUSHJ P SPECSTR)
	(SUB P (C 2Q 0Q 2Q 0Q))
 TAG10	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THFAIL? SUBR)
	(PUSH P 1Q)
	(MOVE 1Q 2Q)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THFAIL?) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(DEFPROP THFAIL? THPOPTV THSUCCEED)

(DEFPROP THFAIL? THFAIL?F THFAIL)

(LAP THFAIL?F SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E *EVAL) S)
	(JUMPE 1Q TAG2)
	(CLEARM 1Q (SPECIAL THMESSAGE) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADDR) S)
	(CALL 1Q (E *EVAL) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(POP P 1Q)
	(JRST 0Q TAG1)
 TAG2	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(POPJ P)
	NIL

(LAP THFINALIZE FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(JUMPN 1Q TAG11)
	(MOVEI 1Q (QUOTE (BAD CALL - THFINALIZE)) S)
	(CALL 17Q (E THERT) S)
	(MOVEM 1Q -2Q P)
 TAG11	(MOVE 1Q -2Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG13)
	(MOVE 1Q -2Q P)
	(JRST 0Q TAG5)
 TAG13	(HLRZ@ 1Q -2Q P)
	(CAIE 1Q (QUOTE THTAG) S)
	(JRST 0Q TAG14)
	(HRRZ@ 1Q -2Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -1Q P)
 TAG14	(MOVE 2Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THTREE) S)
 TAG1	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 0Q P)
	(JUMPN 1Q TAG16)
	(MOVE 1Q -2Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (OVERPOP - THFINALIZE)) S)
	(CALL 17Q (E THERT) S)
	(JRST 0Q TAG15)
 TAG16	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG20)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CAIE 1Q (QUOTE THPROG) S)
	(JRST 0Q TAG22)
	(HRRZ@ 2Q (SPECIAL THX) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E MEMQ) S)
	(JUMPN 1Q TAG2)
 TAG22
 TAG20	(HLRZ@ 1Q (SPECIAL THX) S)
	(CAIN 1Q (QUOTE THPROG) S)
	(JRST 0Q TAG24)
	(CAIE 1Q (QUOTE THAND) S)
	(JRST 0Q TAG23)
 TAG24	(HRRZ@ 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 1Q)
	(HRRZS@ 0Q 1Q)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG15)
 TAG23	(HLRZ@ 1Q (SPECIAL THX) S)
	(CAIE 1Q (QUOTE THREMBIND) S)
	(JRST 0Q TAG25)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG15)
 TAG25	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(HRRM@ 1Q 0Q P)
 TAG15	(HLRZ@ 1Q -2Q P)
	(HLRZ@ 2Q (SPECIAL THX) S)
	(CAMN 2Q 1Q)
	(JRST 0Q TAG4)
	(JRST 0Q TAG1)
 TAG2	(HRRZ@ 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THX) S)
 TAG3	(HLRZ@ 1Q (SPECIAL THX) S)
	(JUMPN 1Q TAG30)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG30	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E CAADDR) S)
	(CAMN 1Q -1Q P)
	(JRST 0Q TAG4)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q (SPECIAL THX) S)
	(JRST 0Q TAG3)
 TAG4	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE T) S)
 TAG5	(SUB P (C 3Q 0Q 3Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THFIND FSUBR)
	(PUSH P 1Q)
	(CALL 1Q (E CADDR) S)
	(CALL 1Q (E THBIND) S)
	(HLRZ@ 1Q 0Q P)
	(CAIE 1Q (QUOTE ALL) S)
	(JRST 0Q TAG2)
	(MOVEI 1Q (QUOTE (1Q NIL NIL)) S)
	(JRST 0Q TAG1)
 TAG2	(CALL 1Q (E NUMBERP) S)
	(JUMPE 1Q TAG3)
	(MOVEI 1Q (QUOTE T) S)
	(CALL 1Q (E NCONS) S)
	(HLRZ@ 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(HLRZ@ 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG1)
 TAG3	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E NUMBERP) S)
	(JUMPE 1Q TAG4)
	(HLRZ@ 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG4	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE EXACTLY) S)
	(JRST 0Q TAG5)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(PUSH P 1Q)
	(CALL 1Q (E ADD1) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG1)
 TAG5	(CAIE 1Q (QUOTE AT-MOST) S)
	(JRST 0Q TAG6)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E ADD1) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE 1Q))
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG1)
 TAG6	(CAIE 1Q (QUOTE AS-MANY-AS) S)
	(JRST 0Q TAG7)
	(MOVEI 1Q (QUOTE T) S)
	(CALL 1Q (E NCONS) S)
	(HLRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE 1Q))
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG1)
 TAG7	(PUSH P 0Q P)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q 0Q P)
	(HLRZ@ 1Q -1Q P)
	(CALL 1Q (E CDDR) S)
	(JUMPN 1Q TAG12)
	(MOVEI 1Q (QUOTE T) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 1Q)
	(JRST 0Q TAG11)
 TAG12	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE AT-MOST) S)
	(JRST 0Q TAG13)
	(HLRZ@ 1Q -1Q P)
	(CALL 1Q (E CDDDR) S)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E ADD1) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 1Q)
	(JRST 0Q TAG11)
 TAG13	(MOVEI 1Q (QUOTE T) S)
	(CALL 1Q (E NCONS) S)
	(HLRZ@ 2Q -1Q P)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 1Q)
 TAG11	(POP P 1Q)
	(CALL 2Q (E CONS) S)
 TAG1	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE 0Q))
	(CALL 1Q (E NCONS) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q -2Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THFIND) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(HRRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THPROG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JCALL 0Q (E THPROGA) S)
	NIL

(DEFPROP THFIND THFINDT THSUCCEED)

(DEFPROP THFIND THFINDF THFAIL)

(LAP THFINDF SUBR)
	(CLEARM 1Q (SPECIAL THBRANCH) S)
	(MOVE 1Q (SPECIAL THMESSAGE) S)
	(JUMPN 1Q TAG3)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THXX) S)
	(HLRZ@ 2Q 1Q)
	(HLRZ@ 2Q 2Q)
	(CALL 1Q (E CAADR) S)
	(CALL 2Q (E *LESS) S)
	(JUMPE 1Q TAG2)
 TAG3	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q (SPECIAL THXX) S)
	(CALL 1Q (E CDAR) S)
 TAG1	(POPJ P)
	NIL

(LAP THFINDT SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(0Q 0Q (SPECIAL THY) S)
	(0Q 0Q (SPECIAL THZ) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(CALL 1Q (E CADDR) S)
	(MOVEM 1Q (SPECIAL THZ) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E THVARSUBST) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(CALL 2Q (E MEMBER) S)
	(JUMPN 1Q TAG1)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 2Q (E CONS) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(POP P 2Q)
	(HRRM@ 2Q 1Q)
	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E CAAR) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL THY) S)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CAME 1Q (SPECIAL THY) S)
	(JRST 0Q TAG7)
	(CLEARM 1Q (SPECIAL THBRANCH) S)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADDR) S)
	(JUMPE 1Q TAG11)
	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E CDAR) S)
 TAG11	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(POP P 1Q)
	(JRST 0Q TAG2)
 TAG7	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(MOVE 2Q (SPECIAL THY) S)
	(HRLM@ 2Q 1Q)
 TAG1	(MOVE 1Q (SPECIAL THBRANCH) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THABRANCH) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(CLEARM 1Q (SPECIAL THBRANCH) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THFLUSH FSUBR)
	(PUSH P 1Q)
	(JUMPN 1Q TAG4)
	(MOVEI 1Q (QUOTE (THASSERTION THCONSE THANTE THERASING)) S)
 TAG4	(PUSH P 1Q)
	(MOVEM 1Q -1Q P)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG11)
	(HLRZ@ 1Q 1Q)
	(PUSH P (SPECIAL OBLIST) S)
	(PUSH P 1Q)
 TAG2	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG16)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
 TAG3	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG23)
	(HLRZ@ 1Q 1Q)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E REMPROP) S)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG3)
 TAG23	(HRRZ@ 1Q -2Q P)
	(MOVEM 1Q -2Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG2)
 TAG16	(HRRZ@ 1Q -2Q P)
	(MOVEM 1Q -2Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q TAG1)
 TAG11	(EXCH 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THGAL SUBR)
	(PUSH P 1Q)
	(MOVEM 1Q (SPECIAL THXX) S)
	(PUSH P 2Q)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E ASSOC) S)
	(JUMPN 1Q TAG1)
	(MOVE 1Q (SPECIAL THXX) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (THUNBOUND THGAL)) S)
	(CALL 17Q (E THERT) S)
 TAG1	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THGENAME FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL BASE) S)
	(0Q 0Q (SPECIAL *NOPOINT) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE 12Q))
	(MOVEM 1Q (SPECIAL BASE) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL *NOPOINT) S)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E EXPLODE) S)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THGENAME) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL THGENAME) S)
	(CALL 1Q (E EXPLODE) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E *NCONC) S)
	(CALL 1Q (E READLIST) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(DEFV THGENAME 0Q)

(LAP THGO FSUBR)
	(MOVEI 2Q (QUOTE THTAG) S)
	(CALL 2Q (E XCONS) S)
	(JCALL 17Q (E THSUCCEED) S)
	NIL

(LAP THGOAL FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THY) S)
	(0Q 0Q (SPECIAL THY1) S)
	(0Q 0Q (SPECIAL THZ) S)
	(0Q 0Q (SPECIAL THZ1) S)
	(0Q 0Q (SPECIAL THA2) S)
	(PUSH P 1Q)
	(MOVEI 2Q (QUOTE T) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVARSUBST) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(HRRZ@ 1Q 0Q P)
	(PUSH P 1Q)
	(JUMPE 1Q TAG6)
	(CALL 1Q (E CAAR) S)
	(CAIE 1Q (QUOTE THANUM) S)
	(JRST 0Q TAG12)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THNUM) S)
	(CALL 2Q (E XCONS) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE THTRUE) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THDBF) S)
	(CALL 2Q (E XCONS) S)
	(HRRZ@ 2Q -1Q P)
	(CALL 2Q (E CONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q 0Q P)
	(JUMPN 1Q TAG5)
 TAG12	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THNODB) S)
	(JRST 0Q TAG16)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG5)
 TAG16	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CAIN 1Q (QUOTE THDBF) S)
	(JRST 0Q TAG5)
 TAG6	(MOVEI 1Q (QUOTE THTRUE) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THDBF) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q 0Q P)
 TAG5	(PUSH P (C 0Q 0Q TAG17 0Q))
	(MOVEI D (QUOTE THTRY) S)
	(PUSH P D)
	(PUSH P -2Q P)
	(MOVNI 6Q 2Q)
	(JCALL 16Q (E MAPCAN) S)
 TAG17	(MOVEM 1Q 0Q P)
	(MOVE 1Q (SPECIAL THTRACE) S)
	(JUMPE 1Q TAG21)
	(MOVE 2Q (SPECIAL THA2) S)
	(MOVEI 1Q (QUOTE THGOAL) S)
	(CALL 2Q (E THTRACES) S)
 TAG21	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG2)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q (SPECIAL THA2) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THGOAL) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDAR) S)
	(MOVEI 2Q (QUOTE 777777Q) S)
	(HRRM@ 2Q 1Q)
 TAG2	(MOVEI 1Q (QUOTE NIL))
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(DEFPROP THGOAL THGOALT THSUCCEED)

(DEFPROP THGOAL THGOALF THFAIL)

(LAP THGOAL THTRACE)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE (G)) S)
	(PUSH P 2Q)
	(CALL 17Q (E THGENS) S)
	(PUSH P 1Q)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE (THERT)) S)
 TAG2	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE (AND THVALUE (PRIN1 THVALUE))) S)
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTRACES) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE TRYING/ GOAL) S)
	(CALL 1Q (E THPRINTC) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E PRIN1) S)
	(MOVEI 1Q (QUOTE / ) S)
	(CALL 1Q (E PRINC) S)
	(EXCH 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JCALL 1Q (E PRIN1) S)
	NIL

(LAP THGOALF SUBR)
	(MOVE 1Q (SPECIAL THMESSAGE) S)
	(JUMPE 1Q TAG2)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(CALL 0Q (E THTRY1) S)
	(JUMPN 1Q TAG1)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(POPJ P)
	NIL

(LAP THGOALT SUBR)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(CAIE 1Q (QUOTE THNOVAL) S)
	(JRST 0Q TAG2)
	(MOVEI 2Q (QUOTE NIL))
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 2Q (E THVARSUBST) S)
	(CALL 1Q (E NCONS) S)
	(JRST 0Q TAG1)
 TAG2
 TAG1	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(POP P 1Q)
	(POPJ P)
	NIL

(LAP THIP SUBR)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL THNF) S)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(MOVE 1Q -5Q P)
	(CALL 1Q (E NUMBERP) S)
	(JUMPE 1Q TAG5)
	(MOVEI 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG1)
 TAG5	(MOVE 1Q -5Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG6)
	(MOVE 1Q -5Q P)
	(CAIN 1Q (QUOTE ?) S)
	(JRST 0Q TAG6)
	(CALL 1Q (E NUMBERP) S)
	(JUMPN 1Q TAG6)
	(MOVE 1Q -5Q P)
	(MOVEM 1Q -4Q P)
	(JRST 0Q TAG4)
 TAG6	(MOVE 1Q -5Q P)
	(CAIN 1Q (QUOTE ?) S)
	(JRST 0Q TAG14)
	(MOVEI 2Q (QUOTE (THV THNV)) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E MEMQ) S)
	(JUMPE 1Q TAG13)
 TAG14	(MOVE 1Q (SPECIAL THFST) S)
	(JUMPE 1Q TAG16)
	(MOVEI 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG1)
 TAG16	(MOVEI 1Q (QUOTE THVRB) S)
	(MOVEM 1Q -4Q P)
	(JRST 0Q TAG4)
 TAG13	(MOVEI 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG1)
 TAG4	(MOVE 2Q (SPECIAL THWH) S)
	(MOVE 1Q -4Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q 0Q P)
	(JUMPN 1Q TAG21)
	(MOVE 1Q (SPECIAL THTTL) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE 1Q))
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THLAS) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q (SPECIAL THNF) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(MOVE 3Q (SPECIAL THWH) S)
	(MOVE 2Q 1Q)
	(MOVE 1Q -4Q P)
	(CALL 3Q (E PUTPROP) S)
	(JRST 0Q TAG20)
 TAG21	(CAIE 1Q (QUOTE THNOHASH) S)
	(JRST 0Q TAG22)
	(MOVEI 1Q (QUOTE THBQF) S)
	(JRST 0Q TAG1)
 TAG22	(HRRZ@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q -3Q P)
	(JUMPN 1Q TAG23)
	(MOVE 1Q (SPECIAL THTTL) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE 1Q))
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THLAS) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q (SPECIAL THNF) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 1Q)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E *NCONC) S)
	(JRST 0Q TAG20)
 TAG23	(HRRZ@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THLAS) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q -1Q P)
	(JUMPN 1Q TAG24)
	(MOVE 1Q (SPECIAL THTTL) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE 1Q))
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THLAS) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 1Q)
	(MOVE 1Q -3Q P)
	(CALL 2Q (E *NCONC) S)
	(JRST 0Q TAG20)
 TAG24	(MOVE 1Q (SPECIAL THFST) S)
	(JUMPN 1Q TAG27)
	(MOVE 1Q (SPECIAL THFSTP) S)
	(JUMPE 1Q TAG26)
 TAG27	(MOVE 1Q (SPECIAL THWH) S)
	(CAIE 1Q (QUOTE THASSERTION) S)
	(JRST 0Q TAG31)
	(HRRZ@ 2Q -1Q P)
	(HRRZ@ 2Q 2Q)
	(MOVE 1Q (SPECIAL THTT) S)
	(CALL 2Q (E ASSOC#) S)
	(JUMPN 1Q TAG2)
	(JRST 0Q TAG30)
 TAG31	(HRRZ@ 2Q -1Q P)
	(HRRZ@ 2Q 2Q)
	(MOVE 1Q (SPECIAL THTT) S)
	(CALL 2Q (E MEMQ) S)
	(JUMPN 1Q TAG2)
 TAG30
 TAG26	(HRRZ@ 1Q -1Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q -2Q P)
	(JUMPE 1Q TAG33)
	(HRRZ@ 1Q -1Q P)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E ADD1) S)
	(HRLM@ 1Q 0Q P)
	(MOVE 1Q (SPECIAL THTTL) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q -3Q P)
	(CALL 2Q (E *NCONC) S)
	(MOVEM 1Q 0Q P)
	(HRRZ@ 1Q -2Q P)
	(POP P 2Q)
	(HRRM@ 2Q 1Q)
 TAG33
 TAG20	(MOVEI 1Q (QUOTE THOK) S)
	(JRST 0Q TAG1)
 TAG2	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 6Q 0Q 6Q 0Q))
	(POPJ P)
	NIL

(LAP THMATCH2 SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(0Q 2Q (SPECIAL THY) S)
	(CALL 1Q (E CONSP) S)
	(JUMPE 1Q TAG2)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CAIE 1Q (QUOTE THEV) S)
	(JRST 0Q TAG4)
	(MOVE 2Q (SPECIAL THOLIST) S)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q (SPECIAL THX) S)
 TAG4
 TAG2	(MOVE 1Q (SPECIAL THY) S)
	(CALL 1Q (E CONSP) S)
	(JUMPE 1Q TAG6)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(CAIE 1Q (QUOTE THEV) S)
	(JRST 0Q TAG10)
	(MOVE 2Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THY) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q (SPECIAL THY) S)
 TAG10
 TAG6	(MOVE 1Q (SPECIAL THX) S)
	(CAIE 1Q (QUOTE ?) S)
	(TDZA 1Q 1Q)
	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG11)
	(MOVE 1Q (SPECIAL THY) S)
	(CAIE 1Q (QUOTE ?) S)
	(TDZA 1Q 1Q)
	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG11)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E CONSP) S)
	(JUMPE 1Q TAG15)
	(MOVEI 2Q (QUOTE (THV THNV THRESTRICT)) S)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CALL 2Q (E MEMQ) S)
	(JUMPN 1Q TAG13)
 TAG15	(MOVE 1Q (SPECIAL THY) S)
	(CALL 1Q (E CONSP) S)
	(JUMPE 1Q TAG12)
	(MOVEI 2Q (QUOTE (THV THNV THRESTRICT)) S)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(CALL 2Q (E MEMQ) S)
	(JUMPE 1Q TAG12)
 TAG13	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E THVAR) S)
	(JUMPE 1Q TAG21)
	(MOVE 2Q (SPECIAL THOLIST) S)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 2Q (E THGAL) S)
	(JRST 0Q TAG20)
 TAG21	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E CONSP) S)
	(JUMPE 1Q TAG22)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CAIE 1Q (QUOTE THRESTRICT) S)
	(JRST 0Q TAG22)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE ?) S)
	(JRST 0Q TAG26)
	(MOVEI 2Q (QUOTE NIL))
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 1Q)
	(CALL 2Q (E *APPEND) S)
	(MOVEI 2Q (QUOTE THUNASSIGNED) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE ?) S)
	(CALL 2Q (E XCONS) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE (THNV ?)) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(POP P 1Q)
	(JRST 0Q TAG25)
 TAG26	(MOVE 2Q (SPECIAL THOLIST) S)
	(CALL 2Q (E THGAL) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(HRRZ@ 2Q (SPECIAL THX) S)
	(HRRZ@ 2Q 2Q)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(CALL 2Q (E THUNION) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E THRPLACDS) S)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THX) S)
	(POP P 1Q)
 TAG25	(JRST 0Q TAG20)
 TAG22	(MOVEI 1Q (QUOTE NIL))
 TAG20	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THY) S)
	(CALL 1Q (E THVAR) S)
	(JUMPE 1Q TAG31)
	(MOVE 2Q (SPECIAL THALIST) S)
	(MOVE 1Q (SPECIAL THY) S)
	(CALL 2Q (E THGAL) S)
	(MOVE 2Q 1Q)
	(JRST 0Q TAG30)
 TAG31	(MOVE 1Q (SPECIAL THY) S)
	(CALL 1Q (E CONSP) S)
	(JUMPE 1Q TAG32)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(CAIE 1Q (QUOTE THRESTRICT) S)
	(JRST 0Q TAG32)
	(HRRZ@ 1Q (SPECIAL THY) S)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE ?) S)
	(JRST 0Q TAG36)
	(MOVEI 2Q (QUOTE NIL))
	(HRRZ@ 1Q (SPECIAL THY) S)
	(HRRZ@ 1Q 1Q)
	(CALL 2Q (E *APPEND) S)
	(MOVEI 2Q (QUOTE THUNASSIGNED) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE ?) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE (THNV ?)) S)
	(MOVEM 2Q (SPECIAL THY) S)
	(EXCH 2Q 1Q)
	(JRST 0Q TAG35)
 TAG36	(MOVE 2Q (SPECIAL THALIST) S)
	(CALL 2Q (E THGAL) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(HRRZ@ 2Q (SPECIAL THY) S)
	(HRRZ@ 2Q 2Q)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(CALL 2Q (E THUNION) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E THRPLACDS) S)
	(HRRZ@ 2Q (SPECIAL THY) S)
	(HLRZ@ 2Q 2Q)
	(MOVEM 2Q (SPECIAL THY) S)
	(POP P 2Q)
 TAG35	(JRST 0Q TAG30)
 TAG32	(MOVEI 2Q (QUOTE NIL))
 TAG30	(PUSH P 2Q)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG41)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CAIN 1Q (QUOTE THNV) S)
	(JRST 0Q TAG46)
	(CAIE 1Q (QUOTE THV) S)
	(JRST 0Q TAG41)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(JRST 0Q TAG41)
 TAG46	(PUSH P -1Q P)
	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q 0Q P)
	(MOVE 2Q -1Q P)
	(JUMPE 2Q TAG52)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(JRST 0Q TAG51)
 TAG52	(MOVE 2Q (SPECIAL THY) S)
 TAG51	(POP P 1Q)
	(CALL 2Q (E THCHECK) S)
	(JUMPE 1Q TAG41)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG55)
	(HRRZ@ 2Q 1Q)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 1Q -1Q P)
	(CALL 2Q (E THRPLACAS) S)
	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(JUMPE 1Q TAG57)
	(HRRZ@ 1Q -1Q P)
	(HRRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(CALL 2Q (E THUNION) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E THRPLACDS) S)
 TAG57	(HRRZ@ 2Q -1Q P)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E THRPLACDS) S)
	(JRST 0Q TAG54)
 TAG55	(MOVE 2Q (SPECIAL THY) S)
	(HRRZ@ 1Q -1Q P)
	(CALL 2Q (E THRPLACAS) S)
 TAG54	(JRST 0Q TAG40)
 TAG41	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG61)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(CAIN 1Q (QUOTE THNV) S)
	(JRST 0Q TAG66)
	(CAIE 1Q (QUOTE THV) S)
	(JRST 0Q TAG61)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(JRST 0Q TAG61)
 TAG66	(PUSH P 0Q P)
	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q 0Q P)
	(MOVE 2Q -2Q P)
	(JUMPE 2Q TAG72)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(JRST 0Q TAG71)
 TAG72	(MOVE 2Q (SPECIAL THX) S)
 TAG71	(POP P 1Q)
	(CALL 2Q (E THCHECK) S)
	(JUMPE 1Q TAG61)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG75)
	(HRRZ@ 2Q 1Q)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 1Q 0Q P)
	(CALL 2Q (E THRPLACAS) S)
	(JRST 0Q TAG74)
 TAG75	(MOVE 2Q (SPECIAL THX) S)
	(HRRZ@ 1Q 0Q P)
	(CALL 2Q (E THRPLACAS) S)
 TAG74	(JRST 0Q TAG40)
 TAG61	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG100)
	(CALL 1Q (E CADR) S)
	(PUSH P 1Q)
	(MOVE 2Q -1Q P)
	(JUMPE 2Q TAG102)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(JRST 0Q TAG101)
 TAG102	(MOVE 2Q (SPECIAL THY) S)
 TAG101	(POP P 1Q)
	(CALL 2Q (E EQUAL) S)
 TAG100	(JUMPN 1Q TAG40)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG105)
	(MOVE 2Q (SPECIAL THX) S)
	(CALL 1Q (E CADR) S)
	(CALL 2Q (E EQUAL) S)
 TAG105	(JUMPN 1Q TAG40)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E ERR) S)
 TAG40	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q TAG11)
 TAG12	(MOVE 2Q (SPECIAL THY) S)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 2Q (E EQUAL) S)
	(JUMPN 1Q TAG11)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E ERR) S)
 TAG11	(JRST 0Q SPECSTR)
	NIL

(LAP THCHECK SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THPRD) S)
	(0Q 2Q (SPECIAL THX) S)
	(JUMPE 1Q TAG3)
	(TDZA 1Q 1Q)
 TAG3	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG2)
	(MOVE 1Q (SPECIAL THX) S)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(TDZA 1Q 1Q)
	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG2)
	(PUSH P (C 0Q 0Q TAG4 0Q))
	(MOVEI 1Q (QUOTE T) S)
	(JSP 13Q *ERRSET1)
	(PUSH P (SPECIAL THPRD) S)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG11)
	(HLRZ@ 1Q 1Q)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THY) S)
	(MOVE 1Q (SPECIAL THX) S)
	(PUSH P (SPECIAL THY) S)
	(CALLF@ 1Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPN 1Q TAG12)
	(CALL 1Q (E ERR) S)
 TAG12	(PUSHJ P SPECSTR)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG11	(MOVEI 1Q (QUOTE NIL))
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q *ERRSET2)
 TAG4
 TAG2	(JRST 0Q SPECSTR)
	NIL

(LAP THUNION SUBR)
	(PUSH P 1Q)
	(PUSH P 2Q)
 TAG1	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG6)
	(HLRZ@ 1Q 1Q)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E MEMBER) S)
	(JUMPN 1Q TAG7)
	(MOVE 2Q 0Q P)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q 0Q P)
 TAG7	(PUSHJ P SPECSTR)
	(HRRZ@ 1Q -1Q P)
	(MOVEM 1Q -1Q P)
	(JRST 0Q TAG1)
 TAG6	(POP P 1Q)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THMATCH LSUBR)
	(JSP 3Q *LCALL)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(MOVEI 2Q (QUOTE 2Q))
	(CALL 2Q (E *GREAT) S)
	(JUMPE 1Q TAG2)
	(MOVE 1Q -1Q P)
	(HRRZ 1Q 3Q 1Q)
	(JRST 0Q TAG1)
 TAG2	(MOVE 1Q (SPECIAL THALIST) S)
 TAG1	(PUSH P 1Q)
	(MOVEI 2Q (QUOTE 3Q))
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 2Q (E *GREAT) S)
	(JUMPE 1Q TAG5)
	(MOVE 2Q -2Q P)
	(HRRZ 2Q 4Q 2Q)
	(JRST 0Q TAG4)
 TAG5	(MOVE 2Q (SPECIAL THALIST) S)
 TAG4	(POP P 1Q)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THOLIST) S)
	(0Q 2Q (SPECIAL THALIST) S)
	(MOVE 1Q -1Q P)
	(HRRZ 1Q 1Q 1Q)
	(MOVE 2Q -1Q P)
	(HRRZ 2Q 2Q 2Q)
	(CALL 2Q (E THMATCH1) S)
	(PUSHJ P SPECSTR)
	(JRST 0Q SPECSTR)
	NIL

(LAP THMATCH1 SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(0Q 2Q (SPECIAL THY) S)
	(0Q 0Q (SPECIAL THML) S)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THEV) S)
	(JRST 0Q TAG11)
	(MOVE 2Q (SPECIAL THOLIST) S)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(JRST 0Q TAG10)
 TAG11	(MOVE 1Q (SPECIAL THX) S)
 TAG10	(CALL 1Q (E LENGTH) S)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THY) S)
	(CALL 1Q (E LENGTH) S)
	(POP P 2Q)
	(CAME 1Q 2Q)
	(JRST 0Q TAG5)
	(PUSH P (C 0Q 0Q TAG12 0Q))
	(MOVEI 1Q (QUOTE T) S)
	(JSP 13Q *ERRSET1)
	(PUSH P (C 0Q 0Q TAG13 0Q))
	(MOVEI D (QUOTE THMATCH2) S)
	(PUSH P D)
	(PUSH P (SPECIAL THX) S)
	(PUSH P (SPECIAL THY) S)
	(MOVNI 6Q 3Q)
	(JCALL 16Q (E MAPC) S)
 TAG13	(JRST 0Q *ERRSET2)
 TAG12	(JUMPE 1Q TAG5)
	(MOVE 1Q (SPECIAL THML) S)
	(JUMPE 1Q TAG15)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THMUNG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
 TAG15	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG1)
 TAG5	(MOVE 1Q (SPECIAL THML) S)
	(CALL 1Q (E EVLIS) S)
	(JRST 0Q TAG2)
 TAG2	(MOVEI 1Q (QUOTE NIL))
 TAG1	(JRST 0Q SPECSTR)
	NIL

(LAP THMATCHLIST SUBR)
	(JSP 6Q SPECBIND)
	(0Q 2Q (SPECIAL THWH) S)
	(0Q 0Q (SPECIAL THL) S)
	(0Q 0Q (SPECIAL THNF) S)
	(0Q 0Q (SPECIAL THAL) S)
	(0Q 0Q (SPECIAL THA2) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE 377777777777Q) S)
	(MOVEM 1Q (SPECIAL THL) S)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E LENGTH) S)
	(MOVEM 1Q (SPECIAL THAL) S)
	(PUSH P 0Q P)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(MOVE 1Q -6Q P)
	(JUMPN 1Q TAG7)
	(MOVE 1Q -4Q P)
	(JUMPE 1Q TAG12)
	(MOVE 2Q 1Q)
	(MOVE 1Q -3Q P)
	(CALL 2Q (E *APPEND) S)
	(JRST 0Q TAG11)
 TAG12	(MOVE 1Q -3Q P)
 TAG11	(JRST 0Q TAG4)
 TAG7	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL THNF) S)
	(HLRZ@ 1Q -6Q P)
	(MOVEM 1Q 0Q P)
	(HRRZ@ 1Q -6Q P)
	(MOVEM 1Q -6Q P)
 TAG2	(MOVE 1Q 0Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG1)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E NUMBERP) S)
	(JUMPN 1Q TAG1)
	(MOVE 1Q 0Q P)
	(CAIN 1Q (QUOTE ?) S)
	(JRST 0Q TAG1)
	(MOVE 2Q (SPECIAL THWH) S)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q -1Q P)
	(JUMPN 1Q TAG15)
	(MOVEI 1Q (QUOTE (0Q 0Q)) S)
	(MOVEM 1Q -1Q P)
	(JRST 0Q TAG13)
 TAG15	(CAIN 1Q (QUOTE THNOHASH) S)
	(JRST 0Q TAG1)
	(HRRZ@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q -1Q P)
	(JUMPN 1Q TAG16)
	(MOVEI 1Q (QUOTE (0Q 0Q)) S)
	(MOVEM 1Q -1Q P)
	(JRST 0Q TAG13)
 TAG16	(HRRZ@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THAL) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q -1Q P)
	(JUMPN 1Q TAG17)
	(MOVEI 1Q (QUOTE (0Q 0Q)) S)
	(MOVEM 1Q -1Q P)
 TAG17
 TAG13	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -2Q P)
	(HRRZ@ 1Q -1Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q -1Q P)
	(MOVE 1Q (SPECIAL THWH) S)
	(CAIN 1Q (QUOTE THASSERTION) S)
	(JRST 0Q TAG3)
	(MOVE 2Q (SPECIAL THWH) S)
	(MOVEI 1Q (QUOTE THVRB) S)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(JUMPN 1Q TAG22)
	(MOVEI 1Q (QUOTE (0Q 0Q)) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(JRST 0Q TAG21)
 TAG22	(HRRZ@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(JUMPN 1Q TAG23)
	(MOVEI 1Q (QUOTE (0Q 0Q)) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(JRST 0Q TAG21)
 TAG23	(HRRZ@ 2Q 1Q)
	(MOVE 1Q (SPECIAL THAL) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(JUMPN 1Q TAG24)
	(MOVEI 1Q (QUOTE (0Q 0Q)) S)
	(MOVEM 1Q (SPECIAL THA2) S)
 TAG24
 TAG21	(HRRZ@ 1Q (SPECIAL THA2) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -5Q P)
	(HRRZ@ 1Q (SPECIAL THA2) S)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THA2) S)
	(MOVE 2Q -2Q P)
	(MOVE 1Q -5Q P)
	(CALL 2Q (E *PLUS) S)
	(MOVE 2Q (SPECIAL THL) S)
	(CALL 2Q (E *GREAT) S)
	(JUMPN 1Q TAG1)
	(MOVE 2Q -2Q P)
	(MOVE 1Q -5Q P)
	(CALL 2Q (E *PLUS) S)
	(MOVEM 1Q (SPECIAL THL) S)
	(MOVE 1Q -1Q P)
	(MOVEM 1Q -3Q P)
	(MOVE 1Q (SPECIAL THA2) S)
	(MOVEM 1Q -4Q P)
	(JRST 0Q TAG1)
 TAG3	(MOVE 1Q -2Q P)
	(CAIN 1Q (QUOTE 0Q))
	(JRST 0Q TAG5)
	(MOVE 2Q (SPECIAL THL) S)
	(CALL 2Q (E *LESS) S)
	(JUMPE 1Q TAG27)
	(MOVE 1Q -1Q P)
	(MOVEM 1Q -3Q P)
	(MOVE 1Q -2Q P)
	(MOVEM 1Q (SPECIAL THL) S)
 TAG27	(JRST 0Q TAG1)
 TAG5	(MOVEI 1Q (QUOTE NIL))
 TAG4	(SUB P (C 10Q 0Q 10Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THMESSAGE FSUBR)
	(MOVEI 2Q (QUOTE THMESSAGE) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(DEFPROP THMESSAGE THPOPTV THSUCCEED)

(DEFPROP THMESSAGE THMESSAGEF THFAIL)

(LAP THMESSAGEF SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E THBIND) S)
	(JUMPE 1Q TAG5)
	(MOVE 2Q (SPECIAL THMESSAGE) S)
	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CALL 2Q (E THMATCH1) S)
	(JUMPE 1Q TAG5)
	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(HRRZ@ 2Q 0Q P)
	(HRRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THPROG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(CLEARM 1Q (SPECIAL THMESSAGE) S)
	(CALL 0Q (E THPROGA) S)
	(JRST 0Q TAG1)
 TAG5	(MOVE 1Q (SPECIAL THOLIST) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THMUNG THPOPTV THSUCCEED)

(DEFPROP THMUNG THMUNGF THFAIL)

(LAP THMUNGF SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E EVLIS) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THNOFAIL SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE (THPROG THPROGT THFAIL)) S)
	(CALL 17Q (E DEFPROP) S)
	(JRST 0Q TAG1)
 TAG2	(MOVEI 1Q (QUOTE (THPROG THPROGF THFAIL)) S)
	(CALL 17Q (E DEFPROP) S)
 TAG1	(JRST 0Q SPECSTR)
	NIL

(LAP THNOHASH FSUBR)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(HRRZ@ 1Q 1Q)
	(JUMPN 1Q TAG5)
	(MOVEI 1Q (QUOTE (THASSERTION THCONSE THANTE THERASING)) S)
 TAG5	(PUSH P 1Q)
	(MOVEM 1Q -1Q P)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG12)
	(HLRZ@ 1Q 1Q)
	(MOVE 3Q 1Q)
	(MOVEI 2Q (QUOTE THNOHASH) S)
	(HLRZ@ 1Q -2Q P)
	(CALL 3Q (E PUTPROP) S)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG12	(SUB P (C 1Q 0Q 1Q 0Q))
	(MOVE 1Q 0Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THNOT FSUBR)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE (THFAIL THAND)) S)
	(CALL 1Q (E NCONS) S)
	(HLRZ@ 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q 0Q P)
	(MOVEI 1Q (QUOTE ((THSUCCEED))) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THCOND) S)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(POPJ P)
	NIL

(LAP THNV FSUBR)
	(HLRZ@ 1Q 1Q)
	(JCALL 1Q (E THV1) S)
	NIL

(LAP THOR FSUBR)
	(PUSH P 1Q)
	(JUMPE 1Q TAG2)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THOR) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(JUMPE 1Q TAG4)
	(HLRZ@ 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THEXP) S)
 TAG4
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THOR THPOPTV THSUCCEED)

(DEFPROP THOR THORF THFAIL)

(LAP THOR2 SUBR)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THMESSAGE) S)
	(JUMPE 1Q TAG2)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(JUMPE 1Q TAG3)
	(HRRZ@ 1Q 1Q)
	(JUMPE 1Q TAG3)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG7)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CAADR) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(JUMPN 1Q TAG10)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
 TAG10	(POP P 1Q)
	(JRST 0Q TAG6)
 TAG7	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CAADR) S)
	(HLRZ@ 1Q 1Q)
 TAG6	(MOVEM 1Q (SPECIAL THEXP) S)
	(JRST 0Q TAG1)
 TAG3	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THORF SUBR)
	(MOVEI 1Q (QUOTE T) S)
	(JCALL 1Q (E THOR2) S)
	NIL

(LAP THPOPTV SUBR)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(LAP THPROG FSUBR)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E THBIND) S)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THPROG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(JCALL 0Q (E THPROGA) S)
	NIL

(DEFPROP THPROG THPROGT THSUCCEED)

(DEFPROP THPROG THPROGF THFAIL)

(LAP THPROGA SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(CALL 1Q (E CDAR) S)
	(JUMPN 1Q TAG2)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE THNOVAL) S)
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG3)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THTAG) S)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(HLRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q 0Q P)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(JRST 0Q TAG1)
 TAG3	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(HLRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q 0Q P)
	(MOVE 1Q (SPECIAL THVALUE) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THPROGF SUBR)
	(CALL 0Q (E THBRANCHUN) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THPROGT SUBR)
	(CALL 0Q (E THBRANCH) S)
	(JCALL 0Q (E THPROGA) S)
	NIL

(LAP THPURE SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL XX) S)
	(PUSH P (C 0Q 0Q TAG2 0Q))
	(MOVEI 1Q (QUOTE T) S)
	(JSP 13Q *ERRSET1)
	(PUSH P (SPECIAL XX) S)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG7)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(CALL 1Q (E THVAR) S)
	(JUMPE 1Q TAG11)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E ERR) S)
 TAG11	(HRRZ@ 1Q -1Q P)
	(MOVEM 1Q -1Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG1)
 TAG7	(MOVEI 1Q (QUOTE NIL))
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q *ERRSET2)
 TAG2	(JRST 0Q SPECSTR)
	NIL

(LAP THPUTPROP SUBR)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 3Q)
	(PUSH P 1Q)
	(MOVE 1Q -2Q P)
	(CALL 2Q (E GET) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(PUSH P 1Q)
	(MOVE 1Q 3Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE PUTPROP) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THMUNG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(POP P 2Q)
	(POP P 1Q)
	(JCALL 3Q (E PUTPROP) S)
	NIL

(LAP THREM1 SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THA2) S)
	(0Q 0Q (SPECIAL THPC) S)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL THNF) S)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(MOVE 1Q -7Q P)
	(CALL 1Q (E NUMBERP) S)
	(JUMPE 1Q TAG5)
	(MOVEI 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG1)
 TAG5	(MOVE 1Q -7Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG6)
	(MOVE 1Q -7Q P)
	(CAIN 1Q (QUOTE ?) S)
	(JRST 0Q TAG6)
	(MOVE 1Q -7Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG4)
 TAG6	(MOVE 1Q -7Q P)
	(CAIN 1Q (QUOTE ?) S)
	(JRST 0Q TAG12)
	(MOVEI 2Q (QUOTE (THV THNV)) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E MEMQ) S)
	(JUMPE 1Q TAG11)
 TAG12	(MOVE 1Q (SPECIAL THFST) S)
	(JUMPE 1Q TAG14)
	(MOVEI 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG1)
 TAG14	(MOVEI 1Q (QUOTE THVRB) S)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG4)
 TAG11	(MOVEI 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG1)
 TAG4	(MOVE 2Q (SPECIAL THWH) S)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q -2Q P)
	(JUMPN 1Q TAG16)
	(JRST 0Q TAG2)
 TAG16	(MOVE 1Q -2Q P)
	(CAIE 1Q (QUOTE THNOHASH) S)
	(JRST 0Q TAG20)
	(MOVEI 1Q (QUOTE THBQF) S)
	(JRST 0Q TAG1)
 TAG20	(MOVE 2Q -2Q P)
	(MOVE 1Q (SPECIAL THNF) S)
	(CALL 2Q (E THBA) S)
	(MOVEM 1Q (SPECIAL THA2) S)
	(JUMPN 1Q TAG21)
	(JRST 0Q TAG2)
 TAG21	(HRRZ@ 2Q (SPECIAL THA2) S)
	(HLRZ@ 2Q 2Q)
	(MOVE 1Q (SPECIAL THAL) S)
	(CALL 2Q (E THBA) S)
	(MOVEM 1Q -3Q P)
	(JUMPN 1Q TAG22)
	(JRST 0Q TAG2)
 TAG22	(HRRZ@ 1Q -3Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -4Q P)
	(MOVE 1Q (SPECIAL THWH) S)
	(CAIE 1Q (QUOTE THASSERTION) S)
	(JRST 0Q TAG23)
	(TDZA 1Q 1Q)
 TAG23	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THPC) S)
	(MOVE 1Q (SPECIAL THFST) S)
	(JUMPN 1Q TAG26)
	(MOVE 1Q (SPECIAL THFSTP) S)
	(JUMPE 1Q TAG25)
 TAG26	(HRRZ@ 2Q -4Q P)
	(MOVE 1Q (SPECIAL THBS) S)
	(CALL 2Q (E THBAP) S)
	(JRST 0Q TAG24)
 TAG25	(MOVE 1Q (SPECIAL THPC) S)
	(JUMPE 1Q TAG30)
	(MOVE 1Q (SPECIAL THON) S)
	(JRST 0Q TAG27)
 TAG30	(HLRZ@ 1Q (SPECIAL THON) S)
 TAG27	(HRRZ@ 2Q -4Q P)
	(CALL 2Q (E THBA) S)
 TAG24	(MOVEM 1Q -5Q P)
	(JUMPN 1Q TAG32)
	(JRST 0Q TAG2)
 TAG32	(HRRZ@ 1Q -5Q P)
	(HLRZ@ 1Q 1Q)
	(HRRZ@ 2Q -5Q P)
	(HRRZ@ 2Q 2Q)
	(HRRM@ 2Q -5Q P)
	(MOVEM 1Q -6Q P)
	(HRRZ@ 1Q -4Q P)
	(HLRZ@ 1Q 1Q)
	(CAIN 1Q (QUOTE 1Q))
	(JRST 0Q TAG34)
	(HRRZ@ 1Q -4Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q -1Q P)
	(JUMPN 1Q TAG41)
 TAG41	(HRRZ@ 1Q -4Q P)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E SUB1) S)
	(HRLM@ 1Q 0Q P)
	(POP P 1Q)
	(JUMPE 1Q TAG34)
	(MOVE 1Q -6Q P)
	(JRST 0Q TAG1)
 TAG34	(HRRZ@ 1Q -3Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q -1Q P)
	(HRRM@ 1Q -3Q P)
	(HRRZ@ 1Q (SPECIAL THA2) S)
	(CALL 1Q (E CDAR) S)
	(JUMPN 1Q TAG42)
	(MOVE 1Q -6Q P)
	(JRST 0Q TAG1)
 TAG42	(HRRZ@ 1Q (SPECIAL THA2) S)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q -1Q P)
	(HRRM@ 1Q (SPECIAL THA2) S)
	(HRRZ@ 1Q -2Q P)
	(JUMPN 1Q TAG44)
	(MOVE 1Q -6Q P)
	(JRST 0Q TAG1)
 TAG44	(MOVE 2Q (SPECIAL THWH) S)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E REMPROP) S)
	(MOVE 1Q -6Q P)
	(JRST 0Q TAG1)
 TAG2	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 10Q 0Q 10Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(DEFPROP THREMBIND THREMBINDT THSUCCEED)

(DEFPROP THREMBIND THREMBINDF THFAIL)

(LAP THREMBINDF SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THREMBINDT SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(LAP THREMOVE SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THWH) S)
	(0Q 0Q (SPECIAL THNF) S)
	(0Q 0Q (SPECIAL THAL) S)
	(0Q 0Q (SPECIAL THON) S)
	(0Q 0Q (SPECIAL THBS) S)
	(0Q 0Q (SPECIAL THFST) S)
	(0Q 0Q (SPECIAL THFSTP) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(MOVE 1Q -2Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG6)
	(MOVE 1Q -2Q P)
	(MOVEM 1Q (SPECIAL THBS) S)
	(MOVEI 2Q (QUOTE THEOREM) S)
	(MOVE 1Q -2Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THWH) S)
	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(JRST 0Q TAG5)
 TAG6	(MOVEI 1Q (QUOTE THASSERTION) S)
	(MOVEM 1Q (SPECIAL THWH) S)
	(JUMPE 1Q TAG7)
	(MOVE 1Q -2Q P)
	(MOVEM 1Q (SPECIAL THBS) S)
 TAG7
 TAG5	(MOVEM 1Q 0Q P)
	(CALL 1Q (E LENGTH) S)
	(MOVEM 1Q (SPECIAL THAL) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THFST) S)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG11)
	(MOVE 1Q -1Q P)
	(MOVEM 1Q 0Q P)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(CLEARB 1Q -1Q P)
	(MOVEM 1Q (SPECIAL THFST) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THFSTP) S)
	(JRST 0Q TAG1)
 TAG11	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E THREM1) S)
	(MOVEM 1Q (SPECIAL THON) S)
	(JUMPE 1Q TAG3)
	(MOVEI 2Q (QUOTE (THBQF THVRB)) S)
	(CALL 2Q (E MEMQ) S)
	(JUMPE 1Q TAG12)
	(PUSH P -1Q P)
	(MOVE 1Q (SPECIAL THON) S)
	(CAIE 1Q (QUOTE THVRB) S)
	(JRST 0Q TAG14)
	(HLRZ@ 1Q -1Q P)
	(JRST 0Q TAG13)
 TAG14	(MOVEI 1Q (QUOTE NIL))
 TAG13	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E *NCONC) S)
	(MOVEM 1Q -1Q P)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG12	(CLEARM 1Q (SPECIAL THFST) S)
	(HRRZ@ 2Q 0Q P)
	(MOVEI 1Q (QUOTE THREM1) S)
	(PUSHJ P *MAPC)
	(MOVEI 1Q (QUOTE 0Q))
	(MOVEM 1Q (SPECIAL THNF) S)
	(MOVE 2Q -1Q P)
	(MOVEI 1Q (QUOTE THREM1) S)
	(PUSHJ P *MAPC)
	(MOVE 1Q (SPECIAL THON) S)
	(JRST 0Q TAG2)
 TAG3	(MOVEI 1Q (QUOTE NIL))
 TAG2	(SUB P (C 3Q 0Q 3Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THREMPROP SUBR)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q 0Q P)
	(PUSH P 1Q)
	(MOVE 1Q -2Q P)
	(CALL 2Q (E GET) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(PUSH P 1Q)
	(MOVE 1Q -2Q P)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE PUTPROP) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THMUNG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(POP P 2Q)
	(POP P 1Q)
	(JCALL 2Q (E REMPROP) S)
	NIL

(LAP THRESTRICT FSUBR)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(MOVE 2Q (SPECIAL THALIST) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THGAL) S)
	(MOVEM 1Q 0Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG5)
	(MOVEI 1Q (QUOTE THRESTRICT/ IGNORED/ -/ CONTINUING) S)
	(CALL 1Q (E THPRINTC) S)
	(JRST 0Q TAG4)
 TAG5	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 2Q -1Q P)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(CALL 2Q (E THUNION) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E THRPLACD) S)
 TAG4	(MOVE 1Q 0Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THRETURN FSUBR)
	(MOVEI 2Q (QUOTE THPROG) S)
	(CALL 2Q (E XCONS) S)
	(JCALL 17Q (E THSUCCEED) S)
	NIL

(LAP THRPLACA SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THML) S)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(CALL 2Q (E THRPLACAS) S)
	(MOVE 1Q (SPECIAL THML) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THMUNG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THRPLACAS SUBR)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(PUSH P 2Q)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THURPLACA) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THML) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THML) S)
	(POP P 1Q)
	(HRLM@ 1Q 0Q P)
	(POP P 1Q)
	(POPJ P)
	NIL

(LAP THURPLACA FSUBR)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THRPLACD SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THML) S)
	(PUSH P 1Q)
	(PUSH P 2Q)
	(CALL 2Q (E THRPLACDS) S)
	(MOVE 1Q (SPECIAL THML) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THMUNG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THRPLACDS SUBR)
	(PUSH P 1Q)
	(HRRZ@ 1Q 1Q)
	(PUSH P 2Q)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THURPLACD) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THML) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THML) S)
	(POP P 1Q)
	(HRRM@ 1Q 0Q P)
	(POP P 1Q)
	(POPJ P)
	NIL

(LAP THURPLACD FSUBR)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(HRRM@ 2Q 1Q)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THSETQ FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THML) S)
	(0Q 0Q (SPECIAL THL) S)
	(PUSH P 1Q)
	(MOVEM 1Q (SPECIAL THL) S)
 TAG1	(MOVE 1Q (SPECIAL THL) S)
	(JUMPN 1Q TAG6)
	(MOVE 1Q (SPECIAL THML) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THMUNG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(JRST 0Q TAG2)
 TAG6	(HRRZ@ 1Q 1Q)
	(JUMPN 1Q TAG7)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (ODD NUMBER OF GOODIES - THSETQ)) S)
	(CALL 17Q (E THERT) S)
	(JRST 0Q TAG5)
 TAG7	(HLRZ@ 1Q (SPECIAL THL) S)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG10)
	(HLRZ@ 1Q (SPECIAL THL) S)
	(PUSH P 1Q)
	(CALL 1Q (E *EVAL) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE QUOTE) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE SETQ) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THML) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THML) S)
	(HLRZ@ 1Q (SPECIAL THL) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL THL) S)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E *EVAL) S)
	(MOVEM 1Q (SPECIAL THVALUE) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E SET) S)
	(JRST 0Q TAG5)
 TAG10	(HLRZ@ 1Q (SPECIAL THL) S)
	(CALL 1Q (E THSGAL) S)
	(HRRZ@ 1Q 1Q)
	(MOVE 2Q (SPECIAL THALIST) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL THL) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q (SPECIAL THVALUE) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E THRPLACAS) S)
 TAG5	(HRRZ@ 1Q (SPECIAL THL) S)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THL) S)
	(JRST 0Q TAG1)
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THSGAL SUBR)
	(PUSH P 1Q)
	(MOVE 2Q (SPECIAL THALIST) S)
	(CALL 1Q (E CADR) S)
	(CALL 2Q (E ASSOC) S)
	(JUMPN 1Q TAG1)
	(MOVEI 1Q (QUOTE THUNASSIGNED) S)
	(CALL 1Q (E NCONS) S)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE VALUE) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE THALIST) S)
	(CALL 2Q (E GET) S)
	(PUSH P 1Q)
	(MOVE 1Q -1Q P)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E *NCONC) S)
	(MOVE 1Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THSTATE FSUBR)
	(PUSH P 1Q)
	(PUSH P (SPECIAL OBLIST) S)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(MOVE 1Q -3Q P)
	(JUMPE 1Q TAG15)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
 TAG2	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG22)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(MOVE 1Q -6Q P)
	(JUMPN 1Q TAG23)
	(MOVEI 1Q (QUOTE (THASSERTION THANTE THCONSE THERASING)) S)
 TAG23	(PUSH P 1Q)
 TAG3	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG30)
	(HLRZ@ 1Q 1Q)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THWH) S)
	(MOVE 2Q 1Q)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q -3Q P)
	(JUMPE 1Q TAG32)
	(HRRZ@ 2Q 1Q)
	(MOVEI 1Q (QUOTE 1Q))
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q -3Q P)
	(JUMPE 1Q TAG34)
	(HRRZ@ 1Q 1Q)
	(PUSH P 1Q)
 TAG4	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG41)
	(HLRZ@ 1Q 1Q)
	(HRRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(PUSH P 2Q)
 TAG5	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG46)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THWH) S)
	(CAIE 1Q (QUOTE THASSERTION) S)
	(JRST 0Q TAG50)
	(MOVE 2Q -7Q P)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q -7Q P)
	(JRST 0Q TAG47)
 TAG50	(MOVE 1Q 0Q P)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q -7Q P)
	(CALL 2Q (E CONS) S)
	(MOVE 2Q -10Q P)
	(MOVEM 1Q -7Q P)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q -10Q P)
 TAG47	(HRRZ@ 1Q -1Q P)
	(MOVEM 1Q -1Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG5)
 TAG46	(HRRZ@ 1Q -1Q P)
	(MOVEM 1Q -1Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG4)
 TAG41	(SUB P (C 1Q 0Q 1Q 0Q))
 TAG34
 TAG32	(PUSHJ P SPECSTR)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG3)
 TAG30	(HRRZ@ 1Q -2Q P)
	(MOVEM 1Q -2Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q TAG2)
 TAG22	(HRRZ@ 1Q -4Q P)
	(MOVEM 1Q -4Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG1)
 TAG15	(MOVE 1Q -2Q P)
	(CALL 1Q (E DREVERSE) S)
	(CALL 17Q (E GRINDEF) S)
	(CALL 0Q (E OUTCH) S)
	(JUMPE 1Q TAG53)
	(MOVE 1Q (SPECIAL THGENAME) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THGENAME) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE SETQ) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (THDATA)) S)
	(CALL 1Q (E PRINT) S)
 TAG53	(MOVE 2Q -1Q P)
	(MOVEI 1Q (QUOTE PRINT) S)
	(PUSHJ P *MAPC)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE NIL))
	(SUB P (C 5Q 0Q 5Q 0Q))
	(POPJ P)
	NIL

(LAP THSUCCEED FSUBR)
	(PUSH P 1Q)
	(JUMPE 1Q TAG3)
	(TDZA 1Q 1Q)
 TAG3	(MOVEI 1Q (QUOTE T) S)
	(JUMPN 1Q TAG2)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(MOVE 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THBRANCH) S)
	(MOVE 1Q (SPECIAL THALIST) S)
	(MOVEM 1Q (SPECIAL THABRANCH) S)
 TAG1	(MOVE 1Q (SPECIAL THTREE) S)
	(JUMPN 1Q TAG10)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (OVERPOP - THSUCCEED)) S)
	(CALL 17Q (E THERT) S)
	(JRST 0Q TAG7)
 TAG10	(CALL 1Q (E CAAR) S)
	(CAIE 1Q (QUOTE THREMBIND) S)
	(JRST 0Q TAG11)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(JRST 0Q TAG1)
 TAG11	(HLRZ@ 1Q 0Q P)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HLRZ@ 2Q 2Q)
	(CAME 2Q 1Q)
	(JRST 0Q TAG12)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 0Q P)
	(JUMPE 1Q TAG14)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E *EVAL) S)
	(JRST 0Q TAG13)
 TAG14	(MOVEI 1Q (QUOTE THNOVAL) S)
 TAG13	(JRST 0Q TAG4)
 TAG12	(CAIE 1Q (QUOTE THTAG) S)
	(JRST 0Q TAG15)
	(CAIE 2Q (QUOTE THPROG) S)
	(JRST 0Q TAG15)
	(HLRZ@ 2Q (SPECIAL THTREE) S)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HRRZ@ 2Q 2Q)
	(HLRZ@ 2Q 2Q)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E MEMQ) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(JUMPE 1Q TAG15)
	(MOVE 2Q (SPECIAL THX) S)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 2Q (E CONS) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(HRRZ@ 1Q 1Q)
	(POP P 2Q)
	(HRLM@ 2Q 1Q)
	(CALL 0Q (E THPROGT) S)
	(JRST 0Q TAG4)
 TAG15	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(JRST 0Q TAG1)
 TAG7	(MOVEI 1Q (QUOTE NIL))
 TAG4	(PUSHJ P SPECSTR)
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THTAE SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL XX) S)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG4)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG3)
 TAG4	(HLRZ@ 1Q (SPECIAL XX) S)
	(CAIE 1Q (QUOTE THUSE) S)
	(JRST 0Q TAG5)
	(HRRZ@ 1Q (SPECIAL XX) S)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(MOVE 1Q -3Q P)
	(JUMPE 1Q TAG12)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(MOVEI 2Q (QUOTE THEOREM) S)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q (SPECIAL THXX) S)
	(JUMPE 1Q TAG16)
	(HLRZ@ 1Q 1Q)
	(CAMN 1Q (SPECIAL TYPE) S)
	(JRST 0Q TAG14)
 TAG16	(MOVE 1Q 0Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (BAD THEOREM -THTAE)) S)
	(CALL 17Q (E THERT) S)
	(PUSH P 1Q)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E NCONS) S)
	(POP P 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THAPPLY) S)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG13)
 TAG14	(HLRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THAPPLY) S)
	(CALL 2Q (E XCONS) S)
 TAG13	(CALL 1Q (E NCONS) S)
	(MOVEM 1Q -3Q P)
	(MOVE 1Q -2Q P)
	(JUMPE 1Q TAG21)
	(MOVE 1Q -3Q P)
	(HRRM@ 1Q -2Q P)
	(HRRZ@ 1Q -2Q P)
	(JRST 0Q TAG20)
 TAG21	(MOVE 1Q -3Q P)
	(MOVEM 1Q -1Q P)
 TAG20	(MOVEM 1Q -2Q P)
	(HRRZ@ 1Q -4Q P)
	(MOVEM 1Q -4Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG1)
 TAG12	(MOVE 1Q 0Q P)
	(SUB P (C 4Q 0Q 4Q 0Q))
	(JRST 0Q TAG3)
 TAG5	(CAIE 1Q (QUOTE THTBF) S)
	(JRST 0Q TAG23)
	(MOVE 1Q (SPECIAL THY1) S)
	(JUMPE 1Q TAG25)
	(MOVE 1Q (SPECIAL THY) S)
	(JRST 0Q TAG24)
 TAG25	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THY1) S)
	(JUMPE 1Q TAG26)
	(MOVE 2Q (SPECIAL TYPE) S)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CALL 2Q (E THMATCHLIST) S)
	(MOVEM 1Q (SPECIAL THY) S)
 TAG26
 TAG24	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG2	(MOVE 1Q -3Q P)
	(JUMPE 1Q TAG33)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(HRRZ@ 1Q (SPECIAL XX) S)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(MOVE 1Q -1Q P)
	(CALLF@ 1Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPE 1Q TAG37)
	(HLRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q 0Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THAPPLY) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
 TAG37	(MOVEM 1Q -3Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPE 1Q TAG35)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG41)
	(MOVE 1Q -2Q P)
	(HRRM@ 1Q -1Q P)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG40)
 TAG41	(MOVE 1Q -2Q P)
	(MOVEM 1Q 0Q P)
 TAG40	(CALL 1Q (E LAST) S)
	(MOVEM 1Q -1Q P)
 TAG35	(HRRZ@ 1Q -3Q P)
	(MOVEM 1Q -3Q P)
	(JRST 0Q TAG2)
 TAG33	(MOVE 1Q 0Q P)
	(SUB P (C 4Q 0Q 4Q 0Q))
	(JRST 0Q TAG3)
 TAG23	(MOVE 1Q (SPECIAL XX) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (UNCLEAR RECCOMMENDATION -THTAE)) S)
	(CALL 17Q (E THERT) S)
	(CALL 1Q (E THTAE) S)
 TAG3	(JRST 0Q SPECSTR)
	NIL

(LAP THTAG FSUBR)
	(PUSH P 1Q)
	(HLRZ@ 1Q 1Q)
	(JUMPE 1Q TAG2)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THTAG) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
 TAG2	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THTAG THPOPTV THSUCCEED)

(DEFPROP THTAG THTAGF THFAIL)

(LAP THTAGF SUBR)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THTRUE SUBR)
	(MOVEI 1Q (QUOTE T) S)
	(POPJ P)
	NIL

(LAP THTRY1 SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(0Q 0Q (SPECIAL THY) S)
	(0Q 0Q (SPECIAL THZ) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THZ) S)
	(CALL 1Q (E CDDR) S)
	(MOVEM 1Q (SPECIAL THY) S)
	(HRRZ@ 1Q 1Q)
	(PUSH P (SPECIAL THY) S)
	(CALL 1Q (E SUB1) S)
	(HRRM@ 1Q 0Q P)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(HLRZ@ 1Q (SPECIAL THY) S)
	(JUMPE 1Q TAG7)
	(HRRZ@ 1Q (SPECIAL THY) S)
	(CAIN 1Q (QUOTE 0Q))
	(JRST 0Q TAG7)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(JRST 0Q TAG10)
 TAG2	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(HRRM@ 1Q (SPECIAL THY) S)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q (SPECIAL THY) S)
	(JRST 0Q TAG1)
 TAG3	(MOVE 1Q (SPECIAL THALIST) S)
	(MOVEM 1Q (SPECIAL THOLIST) S)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E CADR) S)
	(JUMPN 1Q TAG14)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q (SPECIAL THY) S)
	(JRST 0Q TAG1)
 TAG14	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -1Q P)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -3Q P)
	(MOVE 1Q -1Q P)
	(CALLF@ 1Q -3Q P)
	(JUMPE 1Q TAG22)
	(HLRZ@ 2Q -1Q P)
	(HRRZ@ 1Q (SPECIAL THZ) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THMATCH1) S)
 TAG22	(MOVEM 1Q 0Q P)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(MOVE 1Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPE 1Q TAG15)
	(MOVE 1Q 0Q P)
	(JRST 0Q TAG6)
 TAG15	(JRST 0Q TAG3)
 TAG4	(HRRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E CADR) S)
	(JUMPN 1Q TAG24)
	(HLRZ@ 1Q (SPECIAL THY) S)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q (SPECIAL THY) S)
	(JRST 0Q TAG1)
 TAG24	(HRRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E CAADR) S)
	(MOVEM 1Q -1Q P)
 TAG5	(MOVEI 2Q (QUOTE THEOREM) S)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q 0Q P)
	(JUMPE 1Q TAG30)
	(HLRZ@ 1Q 1Q)
	(CAIN 1Q (QUOTE THCONSE) S)
	(JRST 0Q TAG26)
 TAG30	(MOVE 1Q -1Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (BAD THEOREM - THTRY1)) S)
	(CALL 17Q (E THERT) S)
	(MOVEM 1Q -1Q P)
	(CAIN 1Q (QUOTE T) S)
	(JRST 0Q TAG1)
	(JRST 0Q TAG5)
 TAG26	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q -3Q P)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(CALL 1Q (E CAADR) S)
	(CALLF@ 1Q -3Q P)
	(JUMPE 1Q TAG40)
	(HRRZ@ 3Q (SPECIAL THZ) S)
	(HLRZ@ 3Q 3Q)
	(MOVE 2Q -1Q P)
	(MOVE 1Q -2Q P)
	(CALL 3Q (E THAPPLY1) S)
 TAG40	(MOVEM 1Q 0Q P)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HRRZ@ 1Q 1Q)
	(HLRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(MOVE 1Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPE 1Q TAG33)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG6)
 TAG33	(JRST 0Q TAG4)
 TAG7	(MOVEI 1Q (QUOTE NIL))
 TAG6	(JRST 0Q TAG41)
 TAG10	(CAIN 1Q (QUOTE THTBF1) S)
	(JRST 0Q TAG5)
	(CAIN 1Q (QUOTE THTBF) S)
	(JRST 0Q TAG4)
	(CAIN 1Q (QUOTE THDBF) S)
	(JRST 0Q TAG3)
	(CAIN 1Q (QUOTE THNUM) S)
	(JRST 0Q TAG2)
	(CAIN 1Q (QUOTE NXTREC) S)
	(JRST 0Q TAG1)
	(PUSHJ P *UDT)
 TAG41	(SUB P (C 3Q 0Q 3Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THTRY SUBR)
	(PUSH P 1Q)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q 0Q P)
	(CAIE 1Q (QUOTE THTBF) S)
	(JRST 0Q TAG3)
	(MOVE 1Q (SPECIAL THZ1) S)
	(JUMPN 1Q TAG5)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THZ1) S)
	(MOVEI 2Q (QUOTE THCONSE) S)
	(MOVE 1Q (SPECIAL THA2) S)
	(CALL 2Q (E THMATCHLIST) S)
	(MOVEM 1Q (SPECIAL THZ) S)
 TAG5	(MOVE 1Q (SPECIAL THZ) S)
	(JUMPE 1Q TAG7)
	(CALL 1Q (E NCONS) S)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTBF) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(JRST 0Q TAG6)
 TAG7
 TAG6	(JRST 0Q TAG1)
 TAG3	(CAIE 1Q (QUOTE THDBF) S)
	(JRST 0Q TAG11)
	(MOVE 1Q (SPECIAL THY1) S)
	(JUMPN 1Q TAG13)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL THY1) S)
	(MOVEI 2Q (QUOTE THASSERTION) S)
	(MOVE 1Q (SPECIAL THA2) S)
	(CALL 2Q (E THMATCHLIST) S)
	(MOVEM 1Q (SPECIAL THY) S)
 TAG13	(MOVE 1Q (SPECIAL THY) S)
	(JUMPE 1Q TAG15)
	(CALL 1Q (E NCONS) S)
	(HRRZ@ 2Q 0Q P)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THDBF) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(JRST 0Q TAG14)
 TAG15
 TAG14	(JRST 0Q TAG1)
 TAG11	(CAIE 1Q (QUOTE THUSE) S)
	(JRST 0Q TAG17)
	(HRRZ@ 1Q 0Q P)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THTRUE) S)
	(CALL 2Q (E XCONS) S)
	(MOVEI 2Q (QUOTE THTBF) S)
	(CALL 2Q (E XCONS) S)
	(CALL 1Q (E NCONS) S)
	(JRST 0Q TAG1)
 TAG17	(CAIE 1Q (QUOTE THNUM) S)
	(JRST 0Q TAG20)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E NCONS) S)
	(JRST 0Q TAG1)
 TAG20	(MOVE 1Q 0Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (UNCLEAR RECOMMENDATION - THTRY)) S)
	(CALL 17Q (E THERT) S)
	(CALL 1Q (E THTRY) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(DEFPROP THUNDO THUNDOT THSUCCEED)

(DEFPROP THUNDO THUNDOF THFAIL)

(LAP THUNDOF SUBR)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADDR) S)
	(JUMPN 1Q TAG2)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(JRST 0Q TAG1)
 TAG2	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(MOVEM 1Q (SPECIAL THXX) S)
	(CALL 1Q (E CAADR) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THXX) S)
	(HLRZ@ 2Q 1Q)
	(HRRZ@ 2Q 2Q)
	(HRLM@ 2Q 1Q)
	(HLRZ@ 1Q (SPECIAL THXX) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(HLRZ@ 1Q (SPECIAL THXX) S)
	(HRRZ@ 1Q 1Q)
	(HRLM@ 1Q (SPECIAL THXX) S)
 TAG1	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THUNDOT SUBR)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE T) S)
	(POPJ P)
	NIL

(LAP THUNIQUE FSUBR)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q TAG2 0Q))
	(MOVEI D (QUOTE THUCI) S)
	(PUSH P D)
	(PUSH P 1Q)
	(MOVNI 6Q 2Q)
	(JCALL 16Q (E MAPCAR) S)
 TAG2	(MOVEI 2Q (QUOTE THUNIQUE) S)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q 0Q P)
	(PUSH P (SPECIAL THALIST) S)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG7)
	(MOVE 2Q (SPECIAL THALIST) S)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THALIST) S)
	(MOVEI 1Q (QUOTE T) S)
	(JRST 0Q TAG3)
 TAG7	(CALL 1Q (E CAAR) S)
	(CAIE 1Q (QUOTE THUNIQUE) S)
	(JRST 0Q TAG10)
	(MOVE 2Q -1Q P)
	(HLRZ@ 1Q 0Q P)
	(CALL 2Q (E EQUAL) S)
	(JUMPN 1Q TAG4)
 TAG10	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG4	(MOVEI 1Q (QUOTE NIL))
 TAG3	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THUCI SUBR)
	(PUSH P 1Q)
	(MOVEI 2Q (QUOTE (THV THNV)) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E MEMQ) S)
	(JUMPE 1Q TAG2)
	(MOVE 2Q (SPECIAL THALIST) S)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E THGAL) S)
	(MOVEM 1Q 0Q P)
	(CALL 1Q (E ATOM) S)
	(JUMPN 1Q TAG3)
	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
 TAG3	(JRST 0Q TAG1)
 TAG2	(MOVE 1Q 0Q P)
	(CALL 1Q (E *EVAL) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THV1 SUBR)
	(PUSH P 1Q)
	(MOVEM 1Q (SPECIAL THXX) S)
	(MOVE 2Q (SPECIAL THALIST) S)
	(MOVE 1Q 0Q P)
	(CALL 2Q (E ASSOC) S)
	(JUMPN 1Q TAG3)
	(MOVE 1Q (SPECIAL THXX) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (THUNBOUND - THV1)) S)
	(CALL 17Q (E THERT) S)
 TAG3	(CALL 1Q (E CADR) S)
	(MOVEM 1Q 0Q P)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(JRST 0Q TAG2)
	(MOVE 1Q (SPECIAL THXX) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (THUNASSIGNED - THV1)) S)
	(CALL 17Q (E THERT) S)
	(JRST 0Q TAG1)
 TAG2
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THV FSUBR)
	(HLRZ@ 1Q 1Q)
	(JCALL 1Q (E THV1) S)
	NIL

(DEFV THV (THV THNV))

(LAP THVAL SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THEXP) S)
	(0Q 2Q (SPECIAL THALIST) S)
	(MOVE 1Q 2Q)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q (SPECIAL THTREE) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q (SPECIAL THLEVEL) S)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THLEVEL) S)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THTREE) S)
	(0Q 0Q (SPECIAL THVALUE) S)
	(0Q 0Q (SPECIAL THBRANCH) S)
	(0Q 0Q (SPECIAL THOLIST) S)
	(0Q 0Q (SPECIAL THABRANCH) S)
	(0Q 0Q (SPECIAL THE) S)
	(0Q 0Q (SPECIAL THMESSAGE) S)
	(MOVEI 1Q (QUOTE (THV THNV)) S)
	(MOVEM 1Q (SPECIAL THV) S)
	(MOVEI 1Q (QUOTE THNOVAL) S)
	(MOVEM 1Q (SPECIAL THVALUE) S)
 TAG1	(MOVE 1Q (SPECIAL THEXP) S)
	(MOVEM 1Q (SPECIAL THE) S)
	(CLEARM 1Q (SPECIAL THEXP) S)
	(MOVE 1Q (SPECIAL ↑A) S)
	(JUMPE 1Q TAG13)
	(CLEARM 1Q (SPECIAL ↑A) S)
	(MOVEI 1Q (QUOTE (↑A - THVAL)) S)
	(CALL 17Q (E THERT) S)
	(JUMPN 1Q TAG14)
	(JRST 0Q TAG5)
 TAG14
 TAG13	(PUSH P (C 0Q 0Q TAG17 0Q))
	(MOVEI 1Q (QUOTE T) S)
	(JSP 13Q *ERRSET1)
	(MOVE 1Q (SPECIAL THE) S)
	(CALL 1Q (E *EVAL) S)
	(MOVEM 1Q (SPECIAL THVALUE) S)
	(JRST 0Q *ERRSET2)
 TAG17	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG16)
	(HRRZ@ 1Q (SPECIAL THLEVEL) S)
	(MOVEM 1Q (SPECIAL THLEVEL) S)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E ERR) S)
 TAG16
 TAG2	(MOVE 1Q (SPECIAL THMESSAGE) S)
	(JUMPN 1Q TAG4)
	(MOVE 1Q (SPECIAL THEXP) S)
	(JUMPN 1Q TAG1)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(JUMPN 1Q TAG3)
	(JRST 0Q TAG5)
 TAG3	(MOVE 1Q (SPECIAL THBRANCH) S)
	(JUMPN 1Q TAG22)
	(MOVE 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THBRANCH) S)
	(MOVE 1Q (SPECIAL THALIST) S)
	(MOVEM 1Q (SPECIAL THABRANCH) S)
 TAG22	(MOVE 1Q (SPECIAL THTREE) S)
	(JUMPN 1Q TAG24)
	(HRRZ@ 1Q (SPECIAL THLEVEL) S)
	(MOVEM 1Q (SPECIAL THLEVEL) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(JRST 0Q TAG7)
 TAG24	(MOVEI 2Q (QUOTE THSUCCEED) S)
	(CALL 1Q (E CAAR) S)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(JUMPN 1Q TAG6)
	(MOVEI 1Q (QUOTE (BAD SUCCEED - THVAL)) S)
	(CALL 17Q (E THERT) S)
	(JUMPN 1Q TAG3)
	(JRST 0Q TAG5)
 TAG4	(HLRZ@ 1Q (SPECIAL THMESSAGE) S)
	(CAME 1Q (SPECIAL THTREE) S)
	(JRST 0Q TAG26)
	(HRRZ@ 1Q (SPECIAL THMESSAGE) S)
	(HLRZ@ 1Q 1Q)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(CLEARM 1Q (SPECIAL THMESSAGE) S)
	(JRST 0Q TAG1)
 TAG26
 TAG5	(MOVE 1Q (SPECIAL THTREE) S)
	(JUMPN 1Q TAG30)
	(HRRZ@ 1Q (SPECIAL THLEVEL) S)
	(MOVEM 1Q (SPECIAL THLEVEL) S)
	(JRST 0Q TAG10)
 TAG30	(MOVEI 2Q (QUOTE THFAIL) S)
	(CALL 1Q (E CAAR) S)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q (SPECIAL THEXP) S)
	(JUMPN 1Q TAG6)
	(MOVEI 1Q (QUOTE (BAD FAIL - THVAL)) S)
	(CALL 17Q (E THERT) S)
	(JUMPN 1Q TAG3)
	(JRST 0Q TAG5)
 TAG6	(PUSH P (SPECIAL THEXP) S)
	(CLEARM 1Q (SPECIAL THEXP) S)
	(CALLF@ 0Q 0Q P)
	(MOVEM 1Q (SPECIAL THVALUE) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q TAG2)
 TAG10	(MOVEI 1Q (QUOTE NIL))
 TAG7	(PUSHJ P SPECSTR)
	(JRST 0Q SPECSTR)
	NIL

(LAP THVAR SUBR)
	(PUSH P 1Q)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG2)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG1)
 TAG2	(MOVEI 2Q (QUOTE (THV THNV)) S)
	(HLRZ@ 1Q 0Q P)
	(CALL 2Q (E MEMQ) S)
 TAG1	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THVARS2 SUBR)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG5)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG1)
 TAG5	(HLRZ@ 1Q -1Q P)
	(CAIE 1Q (QUOTE THEV) S)
	(JRST 0Q TAG7)
	(MOVE 2Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q -1Q P)
 TAG7	(MOVE 1Q -1Q P)
	(CALL 1Q (E THVAR) S)
	(JUMPN 1Q TAG10)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG1)
 TAG10	(MOVE 2Q (SPECIAL THALIST) S)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E THGAL) S)
	(MOVEM 1Q 0Q P)
	(CALL 1Q (E CADR) S)
	(CAIE 1Q (QUOTE THUNASSIGNED) S)
	(JRST 0Q TAG13)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG12)
 TAG13	(MOVE 1Q (SPECIAL THY) S)
	(JUMPE 1Q TAG14)
	(HLRZ@ 1Q -1Q P)
	(CAIE 1Q (QUOTE THNV) S)
	(JRST 0Q TAG14)
	(MOVEI 2Q (QUOTE THUNASSIGNED) S)
	(HRRZ@ 1Q 0Q P)
	(CALL 2Q (E THRPLACA) S)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG12)
 TAG14	(HRRZ@ 1Q 0Q P)
	(HLRZ@ 1Q 1Q)
 TAG12
 TAG1	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THVARSUBST SUBR)
	(JSP 6Q SPECBIND)
	(0Q 1Q (SPECIAL THX) S)
	(0Q 2Q (SPECIAL THY) S)
	(HLRZ@ 1Q 1Q)
	(CAIE 1Q (QUOTE THEV) S)
	(JRST 0Q TAG2)
	(MOVE 2Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THX) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(JRST 0Q TAG1)
 TAG2	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E THVAR) S)
	(JUMPE 1Q TAG3)
	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E *EVAL) S)
	(MOVEM 1Q (SPECIAL THX) S)
 TAG3
 TAG1	(MOVE 1Q (SPECIAL THX) S)
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG5)
	(MOVE 1Q (SPECIAL THX) S)
	(JRST 0Q TAG4)
 TAG5	(PUSH P (C 0Q 0Q TAG7 0Q))
	(MOVEI D (QUOTE THVARS2) S)
	(PUSH P D)
	(PUSH P (SPECIAL THX) S)
	(MOVNI 6Q 2Q)
	(JCALL 16Q (E MAPCAR) S)
 TAG7
 TAG4	(JRST 0Q SPECSTR)
	NIL

(LAP THVSETQ FSUBR)
	(PUSH P 1Q)
	(PUSH P 1Q)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPN 1Q TAG6)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(JRST 0Q TAG2)
 TAG6	(HRRZ@ 1Q 1Q)
	(JUMPN 1Q TAG7)
	(MOVE 1Q -1Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE (ODD NUMBER OF GOODIES-THSETQ)) S)
	(CALL 17Q (E THERT) S)
	(JRST 0Q TAG5)
 TAG7	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E THSGAL) S)
	(HRRZ@ 1Q 1Q)
	(MOVE 2Q (SPECIAL THALIST) S)
	(PUSH P 1Q)
	(HRRZ@ 1Q -1Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(HRLM@ 1Q 0Q P)
	(HLRZ@ 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THVALUE) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
 TAG5	(HRRZ@ 1Q 0Q P)
	(HRRZ@ 1Q 1Q)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG2	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THREAD SUBR)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(CALL 0Q (E READCH) S)
	(MOVEM 1Q 0Q P)
	(CAIE 1Q (QUOTE ?) S)
	(JRST 0Q TAG6)
	(CALL 0Q (E READ) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THV) S)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG5)
 TAG6	(CAIE 1Q (QUOTE :) S)
	(JRST 0Q TAG7)
	(CALL 0Q (E READ) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THV) S)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG5)
 TAG7	(CAIE 1Q (QUOTE E) S)
	(JRST 0Q TAG10)
	(CALL 0Q (E READ) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THEV) S)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG5)
 TAG10	(CAIE 1Q (QUOTE ←) S)
	(JRST 0Q TAG11)
	(CALL 0Q (E READ) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THNV) S)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG5)
 TAG11	(CAIE 1Q (QUOTE &) S)
	(JRST 0Q TAG12)
 TAG1	(CALL 0Q (E READCH) S)
	(CAIE 1Q (QUOTE &) S)
	(JRST 0Q TAG1)
	(JRST 0Q TAG5)
 TAG12	(CAIE 1Q (QUOTE T) S)
	(JRST 0Q TAG17)
	(MOVEI 1Q (QUOTE (THTBF THTRUE)) S)
	(JRST 0Q TAG5)
 TAG17	(CAIE 1Q (QUOTE R) S)
	(JRST 0Q TAG20)
	(MOVEI 1Q (QUOTE THRESTRICT) S)
	(JRST 0Q TAG5)
 TAG20	(CAIE 1Q (QUOTE G) S)
	(JRST 0Q TAG21)
	(MOVEI 1Q (QUOTE THGOAL) S)
	(JRST 0Q TAG5)
 TAG21	(CAIE 1Q (QUOTE A) S)
	(JRST 0Q TAG22)
	(MOVEI 1Q (QUOTE THASSERT) S)
	(JRST 0Q TAG5)
 TAG22	(CAIE 1Q (QUOTE P) S)
	(JRST 0Q TAG23)
	(MOVEI 1Q (QUOTE $P) S)
	(JRST 0Q TAG5)
 TAG23	(CAIE 1Q (QUOTE N) S)
	(JRST 0Q TAG24)
	(CALL 0Q (E READ) S)
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE THANUM) S)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG5)
 TAG24	(MOVE 2Q (SPECIAL THUSERCHARS) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q -1Q P)
	(JUMPE 1Q TAG27)
	(HRRZ@ 1Q 1Q)
	(CALL 17Q (E PROGN) S)
	(JRST 0Q TAG26)
 TAG27	(MOVEI 1Q (QUOTE ILLEGAL-PREFIX) S)
	(CALL 1Q (E PRINT) S)
	(JUMPE 1Q TAG30)
	(MOVEI 1Q (QUOTE $) S)
	(CALL 1Q (E PRINC) S)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E PRINC) S)
	(CALL 0Q (E READ) S)
	(CALL 1Q (E PRINC) S)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E ERR) S)
 TAG30
 TAG26
 TAG5	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(DEFV THUSERCHARS NIL)

(LAP THERT FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL /0LISTEN) S)
	(0Q 0Q (SPECIAL /0RETVAL) S)
	(0Q 0Q (SPECIAL /0RETFLAG) S)
	(PUSH P 1Q)
	(MOVEI 2Q (QUOTE NIL))
	(MOVEI 1Q (QUOTE NIL))
	(CALL 2Q (E INC) S)
	(MOVEI 2Q (QUOTE NIL))
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 2Q (E OUTC) S)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL /0LEVEL) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL /0LEVEL) S)
	(MOVEI 1Q (QUOTE >>>) S)
	(CALL 1Q (E PRINT) S)
	(HLRZ@ 1Q -2Q P)
	(CAIE 1Q (QUOTE TH%0%) S)
	(JRST 0Q TAG6)
	(HRRZ@ 2Q -2Q P)
	(MOVEI 1Q (QUOTE THPRINT2) S)
	(PUSHJ P *MAPC)
	(MOVEI 2Q (QUOTE NIL))
	(PUSH P 2Q)
	(EXCH 1Q -2Q P)
	(CALL 2Q (E INC) S)
	(POP P -2Q P)
	(JRST 0Q TAG5)
 TAG6	(MOVE 1Q -2Q P)
	(JUMPE 1Q TAG7)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE THPRINT2) S)
	(PUSHJ P *MAPC)
	(MOVEI 1Q (QUOTE LISTENING) S)
	(CALL 1Q (E PRINT) S)
	(MOVE 1Q (SPECIAL THLEVEL) S)
	(JUMPN 1Q TAG10)
	(MOVEI 1Q (QUOTE THVAL) S)
	(CALL 1Q (E THPRINT2) S)
 TAG10
 TAG7
 TAG5	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL /0RETVAL) S)
 TAG1	(CLEARM 1Q (SPECIAL THINF) S)
	(CLEARM 1Q (SPECIAL /0RETFLAG) S)
	(CALL 0Q (E TERPRI) S)
	(CALL 0Q (E TERPRI) S)
	(HLRZ@ 1Q -2Q P)
	(CAIN 1Q (QUOTE TH%0%) S)
	(JRST 0Q TAG12)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL BASE) S)
	(0Q 0Q (SPECIAL *NOPOINT) S)
	(MOVEI 1Q (QUOTE 12Q))
	(MOVEM 1Q (SPECIAL BASE) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL *NOPOINT) S)
	(MOVE 1Q (SPECIAL /0LEVEL) S)
	(CALL 1Q (E PRINC) S)
	(PUSHJ P SPECSTR)
 TAG12	(PUSH P (C 0Q 0Q TAG16 0Q))
	(MOVEI 1Q (QUOTE T) S)
	(JSP 13Q *ERRSET1)
	(CALL 0Q (E READ) S)
	(MOVEM 1Q (SPECIAL /0LISTEN) S)
	(CAIE 1Q (QUOTE $P) S)
	(JRST 0Q TAG20)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL /0RETFLAG) S)
	(JRST 0Q TAG17)
 TAG20	(CALL 1Q (E ATOM) S)
	(JUMPN 1Q TAG21)
	(HLRZ@ 1Q (SPECIAL /0LISTEN) S)
	(CAIE 1Q (QUOTE $P) S)
	(JRST 0Q TAG21)
	(HRRZ@ 1Q (SPECIAL /0LISTEN) S)
	(HLRZ@ 1Q 1Q)
	(CALL 1Q (E *EVAL) S)
	(MOVEM 1Q (SPECIAL /0RETVAL) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL /0RETFLAG) S)
	(JRST 0Q TAG17)
 TAG21	(MOVE 1Q (SPECIAL THLEVEL) S)
	(JUMPE 1Q TAG24)
	(MOVE 1Q (SPECIAL /0LISTEN) S)
	(CALL 1Q (E *EVAL) S)
	(CALL 1Q (E PRINT) S)
	(JRST 0Q TAG17)
 TAG24	(MOVE 2Q (SPECIAL THALIST) S)
	(MOVE 1Q (SPECIAL /0LISTEN) S)
	(CALL 2Q (E THVAL) S)
	(CALL 1Q (E PRINT) S)
 TAG17	(JRST 0Q *ERRSET2)
 TAG16	(MOVE 1Q (SPECIAL /0RETFLAG) S)
	(JUMPE 1Q TAG1)
	(MOVE 1Q (SPECIAL /0LEVEL) S)
	(CALL 1Q (E SUB1) S)
	(MOVEM 1Q (SPECIAL /0LEVEL) S)
	(MOVEI 2Q (QUOTE NIL))
	(MOVE 1Q -1Q P)
	(CALL 2Q (E INC) S)
	(MOVEI 2Q (QUOTE NIL))
	(MOVE 1Q 0Q P)
	(CALL 2Q (E OUTC) S)
	(MOVE 1Q (SPECIAL /0RETVAL) S)
	(SUB P (C 3Q 0Q 3Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THINIT SUBR)
	(CLEARB 1Q (SPECIAL THLEVEL) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THINF) S)
	(MOVEI 1Q (QUOTE -1Q))
	(MOVEM 1Q (SPECIAL /0LEVEL) S)
	(MOVE 1Q (SPECIAL THUSERMESSAGES) S)
	(JUMPE 1Q TAG3)
	(PUSH P 1Q)
 TAG1	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG10)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(CALL 0Q (E TERPRI) S)
	(POP P 1Q)
	(CALL 1Q (E PRINC) S)
	(HRRZ@ 1Q 0Q P)
	(MOVEM 1Q 0Q P)
	(JRST 0Q TAG1)
 TAG10	(CLEARM 1Q (SPECIAL THUSERMESSAGES) S)
	(PUSH P (C 0Q 0Q TAG13 0Q))
	(MOVEI 1Q (QUOTE NIL))
	(JSP 13Q *ERRSET1)
	(MOVEI 1Q (QUOTE (DSK: (INIT . PLN))) S)
	(CALL 17Q (E INPUT) S)
	(MOVEI 2Q (QUOTE NIL))
	(CALL 2Q (E INC) S)
	(JRST 0Q *ERRSET2)
 TAG13	(JUMPE 1Q TAG12)
	(MOVEI 1Q (QUOTE (TH%0% READING (INIT . PLN))) S)
	(CALL 17Q (E THERT) S)
 TAG12	(SUB P (C 1Q 0Q 1Q 0Q))
 TAG3	(MOVE 1Q (SPECIAL THUSERINITFN) S)
	(JUMPE 1Q TAG15)
	(PUSH P 1Q)
	(CALLF@ 0Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
 TAG15	(CALL 0Q (E TERPRI) S)
	(CALL 0Q (E TIME) S)
	(MOVEM 1Q (SPECIAL %%TIME) S)
	(CALL 0Q (E DTIME) S)
	(MOVEM 1Q (SPECIAL %%DTIME) S)
	(CALL 0Q (E GCTIME) S)
	(MOVEM 1Q (SPECIAL %%GCTIME) S)
	(CALL 0Q (E SPEAK) S)
	(MOVEM 1Q (SPECIAL %%SPEAK) S)
	(MOVEI 1Q (QUOTE (TOP LEVEL)) S)
	(JCALL 17Q (E THERT) S)
	NIL

(LAP THINITFN SUBR)
	(PUSH P (SPECIAL THUSERINITFN) S)
	(MOVEM 1Q (SPECIAL THUSERINITFN) S)
	(POP P 1Q)
	(POPJ P)
	NIL

(LAP THEDIT FSUBR)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(JUMPN 1Q TAG5)
	(MOVE 1Q (SPECIAL LASTWORD) S)
	(CALL 1Q (E NCONS) S)
	(MOVEM 1Q -1Q P)
 TAG5	(MOVEI 2Q (QUOTE THEOREM) S)
	(HLRZ@ 1Q -1Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q 0Q P)
	(JUMPE 1Q TAG7)
	(HLRZ@ 3Q -1Q P)
	(HRRZ@ 2Q -1Q P)
	(CALL 3Q (E EDITE) S)
	(HLRZ@ 1Q -1Q P)
	(MOVEM 1Q (SPECIAL LASTWORD) S)
	(JRST 0Q TAG1)
 TAG7	(HLRZ@ 1Q -1Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE "not editable.") S)
	(CALL 1Q (E PRINC) S)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E ERR) S)
	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THTRACE FSUBR)
	(MOVE 2Q 1Q)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE THTRACE1) S)
	(PUSHJ P *MAPC)
	(POP P 1Q)
	(POPJ P)
	NIL

(DEFV THTRACE NIL)

(LAP THTRACE1 SUBR)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(CALL 1Q (E ATOM) S)
	(JUMPE 1Q TAG5)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(MOVEI 2Q (QUOTE T) S)
	(CALL 2Q (E XCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(JRST 0Q TAG4)
 TAG5	(HRRZ@ 1Q -1Q P)
	(HRRZ@ 1Q 1Q)
	(JUMPE 1Q TAG6)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG4)
 TAG6	(HRRZ@ 1Q -1Q P)
	(JUMPN 1Q TAG7)
	(MOVE 1Q -1Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE BAD/ FORMAT) S)
	(CALL 1Q (E PRINC) S)
	(JRST 0Q TAG2)
 TAG7	(MOVEI 1Q (QUOTE NIL))
	(CALL 1Q (E NCONS) S)
	(HRRZ@ 2Q -1Q P)
	(HLRZ@ 2Q 2Q)
	(CALL 2Q (E XCONS) S)
	(HLRZ@ 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
 TAG4	(MOVEM 1Q -1Q P)
	(MOVEI 2Q (QUOTE THEOREM) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E GET) S)
	(JUMPE 1Q TAG11)
	(MOVE 2Q (SPECIAL THTRACE) S)
	(MOVEI 1Q (QUOTE THEOREM) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q 0Q P)
	(JUMPE 1Q TAG13)
	(MOVEI 1Q (QUOTE ((THSEL (QUOTE CADR)) (THSEL (QUOTE CADDR)))) S)
	(HRRM@ 1Q 0Q P)
	(JRST 0Q TAG12)
 TAG13	(MOVE 2Q (SPECIAL THTRACE) S)
	(MOVEI 1Q (QUOTE (THEOREM (THSEL (QUOTE CADR)) (THSEL (QUOTE CADDR)))) S)
	(CALL 2Q (E *APPEND) S)
	(CALL 1Q (E NCONS) S)
	(MOVE 2Q -1Q P)
	(CALL 2Q (E XCONS) S)
	(MOVEM 1Q (SPECIAL THTRACE) S)
 TAG12
 TAG11	(MOVE 2Q (SPECIAL THTRACE) S)
	(HLRZ@ 1Q -1Q P)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q 0Q P)
	(JUMPE 1Q TAG15)
	(HRRZ@ 1Q -1Q P)
	(HRRM@ 1Q 0Q P)
	(JRST 0Q TAG14)
 TAG15	(MOVE 2Q (SPECIAL THTRACE) S)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E CONS) S)
	(MOVEM 1Q (SPECIAL THTRACE) S)
 TAG14	(MOVE 1Q -1Q P)
	(JRST 0Q TAG1)
 TAG2	(MOVEI 1Q (QUOTE NIL))
 TAG1	(SUB P (C 2Q 0Q 2Q 0Q))
	(POPJ P)
	NIL

(LAP THUNTRACE FSUBR)
	(PUSH P 1Q)
	(JUMPE 1Q TAG3)
	(PUSH P (SPECIAL THTRACE) S)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
 TAG1	(MOVE 1Q -3Q P)
	(JUMPE 1Q TAG10)
	(HLRZ@ 1Q 1Q)
	(PUSH P 1Q)
	(MOVE 2Q -5Q P)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E MEMQ) S)
	(JUMPE 1Q TAG14)
	(MOVE 1Q 0Q P)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE NIL))
	(JRST 0Q TAG13)
 TAG14	(MOVE 1Q 0Q P)
	(CALL 1Q (E NCONS) S)
 TAG13	(MOVEM 1Q -3Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPE 1Q TAG12)
	(MOVE 1Q -1Q P)
	(JUMPE 1Q TAG16)
	(MOVE 1Q -2Q P)
	(HRRM@ 1Q -1Q P)
	(MOVE 1Q -1Q P)
	(JRST 0Q TAG15)
 TAG16	(MOVE 1Q -2Q P)
	(MOVEM 1Q 0Q P)
 TAG15	(CALL 1Q (E LAST) S)
	(MOVEM 1Q -1Q P)
 TAG12	(HRRZ@ 1Q -3Q P)
	(MOVEM 1Q -3Q P)
	(JRST 0Q TAG1)
 TAG10	(MOVE 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THTRACE) S)
	(SUB P (C 4Q 0Q 4Q 0Q))
	(JRST 0Q TAG2)
 TAG3	(MOVE 1Q (SPECIAL THTRACE) S)
	(JUMPE 1Q TAG20)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE PRINT) S)
	(PUSHJ P *MAPC)
	(CLEARM 1Q (SPECIAL THTRACE) S)
 TAG20
 TAG2	(MOVEI 1Q (QUOTE DONE) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(POPJ P)
	NIL

(LAP THTRACES SUBR)
	(JSP 6Q SPECBIND)
	(0Q 2Q (SPECIAL THL) S)
	(0Q 0Q (SPECIAL THY) S)
	(0Q 0Q (SPECIAL THZ) S)
	(PUSH P 1Q)
	(PUSH P (C 0Q 0Q (QUOTE NIL) 0Q))
	(MOVE 2Q (SPECIAL THTRACE) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q (SPECIAL THY) S)
	(JUMPE 1Q TAG5)
	(MOVE 2Q (SPECIAL THALIST) S)
	(CALL 1Q (E CADDR) S)
	(CALL 2Q (E THVAL) S)
	(MOVEM 1Q 0Q P)
	(JUMPN 1Q TAG10)
	(MOVE 2Q (SPECIAL THALIST) S)
	(HRRZ@ 1Q (SPECIAL THY) S)
	(HLRZ@ 1Q 1Q)
	(CALL 2Q (E THVAL) S)
	(JUMPE 1Q TAG7)
 TAG10	(MOVEI 2Q (QUOTE THTRACE) S)
	(MOVE 1Q -1Q P)
	(CALL 2Q (E GET) S)
	(MOVEM 1Q (SPECIAL THZ) S)
	(JUMPN 1Q TAG13)
	(MOVEI 1Q (QUOTE (THTRACES - TRACE LOSSAG)) S)
	(CALL 17Q (E THERT) S)
	(JUMPE 1Q TAG12)
 TAG13	(MOVE 2Q 0Q P)
	(MOVE 1Q (SPECIAL THL) S)
	(PUSH P (SPECIAL THZ) S)
	(CALLF@ 2Q 0Q P)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JUMPE 1Q TAG15)
	(MOVE 1Q 0Q P)
	(JUMPE 1Q TAG17)
	(MOVEI 1Q (QUOTE NIL))
	(CALL 17Q (E THERT) S)
 TAG17
 TAG15
 TAG12
 TAG7
 TAG5	(MOVEI 1Q (QUOTE NIL))
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THTRACES THSUCCEED)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE SUCCEEDED/ ) S)
	(CALL 1Q (E PRINC) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(CALL 1Q (E EVLIS) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVE 1Q (SPECIAL THVALUE) S)
	(POPJ P)
	NIL

(LAP THTRACES THFAIL)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CADR) S)
	(CALL 1Q (E PRINT) S)
	(MOVEI 1Q (QUOTE FAILED/ ) S)
	(CALL 1Q (E PRINC) S)
	(HLRZ@ 1Q (SPECIAL THTREE) S)
	(CALL 1Q (E CDDR) S)
	(CALL 1Q (E EVLIS) S)
	(HRRZ@ 1Q (SPECIAL THTREE) S)
	(MOVEM 1Q (SPECIAL THTREE) S)
	(MOVEI 1Q (QUOTE NIL))
	(POPJ P)
	NIL

(LAP THSEL SUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL THX) S)
	(PUSH P 1Q)
	(MOVE 2Q (SPECIAL THTRACE) S)
	(MOVE 1Q (SPECIAL THL) S)
	(CALL 2Q (E ASSOC) S)
	(MOVEM 1Q (SPECIAL THX) S)
	(JUMPE 1Q TAG5)
	(CALLF@ 1Q 0Q P)
	(MOVEM 1Q (SPECIAL THX) S)
	(JUMPE 1Q TAG7)
	(MOVE 2Q (SPECIAL THALIST) S)
	(CALL 2Q (E THVAL) S)
 TAG7
 TAG5	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(LAP THGENS FSUBR)
	(JSP 6Q SPECBIND)
	(0Q 0Q (SPECIAL BASE) S)
	(0Q 0Q (SPECIAL *NOPOINT) S)
	(PUSH P 1Q)
	(MOVEI 1Q (QUOTE 12Q))
	(MOVEM 1Q (SPECIAL BASE) S)
	(MOVEI 1Q (QUOTE T) S)
	(MOVEM 1Q (SPECIAL *NOPOINT) S)
	(HLRZ@ 1Q 0Q P)
	(CALL 1Q (E EXPLODE) S)
	(PUSH P 1Q)
	(MOVE 1Q (SPECIAL THGENS) S)
	(CALL 1Q (E ADD1) S)
	(MOVEM 1Q (SPECIAL THGENS) S)
	(CALL 1Q (E EXPLODE) S)
	(MOVE 2Q 1Q)
	(POP P 1Q)
	(CALL 2Q (E *NCONC) S)
	(CALL 1Q (E MAKNAM) S)
	(SUB P (C 1Q 0Q 1Q 0Q))
	(JRST 0Q SPECSTR)
	NIL

(DEFV THGENS 0Q)

(LAP THPP-THCONSE SUBR)
	(PUSH P 1Q)
	(PUSH P 1Q)
	(MOVE 2Q 1Q)
	(MOVEI 1Q (QUOTE THNOASSERT) S)
	(CALL 2Q (E MEMB) S)
	(JUMPE 1Q TAG2)
	(MOVEI 2Q (QUOTE 3Q))
	(JRST 0Q TAG1)
 TAG2	(MOVEI 2Q (QUOTE 2Q))
 TAG1	(MOVEI 3Q (QUOTE LABELS) S)
	(MOVE 1Q -1Q P)
	(SUB P (C 2Q 0Q 2Q 0Q))
	(JCALL 3Q (E PP-FORMAT) S)
	NIL

(LAP THPP-THFIND SUBR)
	(MOVEI 3Q (QUOTE LABELS) S)
	(MOVEI 2Q (QUOTE 3Q))
	(JCALL 3Q (E PP-FORMAT) S)
	NIL

(LAP THPP-THMESSAGE SUBR)
	(MOVEI 3Q (QUOTE LABELS) S)
	(MOVEI 2Q (QUOTE 2Q))
	(JCALL 3Q (E PP-FORMAT) S)
	NIL

(NCONC PRETTYPROPS @(THEOREM THSUCCEED THFAIL THTRACE))

(DEFV THUSERINITFN NIL)

(DEFV ↑A NIL)

(DEFV THXX NIL)

(DEFV THALIST ((NIL NIL)))

(DEFV THUSERMESSAGES (MICRO-PLANNER))

(PROGN (DEFPROP PINIT
	(LAMBDA NIL
	 (MODCHR (CHRVAL @') (MODCHR (CHRVAL @/@) NIL))
	 (DRM $ THREAD)
	 (DRM : THREAD)
	 (DEFPROP THV "$?" PRINTMACRO)
	 (DEFPROP THNV "$←" PRINTMACRO)
	 (DEFPROP THANUM "$N" PRINTMACRO)
	 (DEFPROP THCONSE THPP-THCONSE PRINTMACRO)
	 (DEFPROP THANTE THPP-THCONSE PRINTMACRO)
	 (DEFPROP THERASING THPP-THCONSE PRINTMACRO)
	 (DEFPROP THFIND THPP-THFIND PRINTMACRO)
	 (DEFPROP THMESSAGE THPP-THMESSAGE PRINTMACRO)
	 (DEFPROP THPROG PP-LABELS PRINTMACRO)
	 (DEFPROP THCOND BRACKETS PRINTMACRO)
	 (DEFPROP THOR BRACKETS PRINTMACRO)
	 (DEFPROP THAND BRACKETS PRINTMACRO)
	 (DEFPROP THDO BRACKETS PRINTMACRO)
	 (INITFN @THINIT)
	 T)
	EXPR)
       (DEFPROP PUNINIT
	(LAMBDA NIL
	 (MAPC (FUNCTION (LAMBDA (X) (REMPROP X @PRINTMACRO)))
	       @(THV THNV THANUM THCONSE THANTE THERASING THFIND THMESSAGE THPROG THCOND THOR THAND THDO))
	 (MODCHR (CHRVAL @') (MODCHR 43Q NIL))
	 (MODCHR (CHRVAL @$) (MODCHR 43Q NIL))
	 (MODCHR (CHRVAL @:) (MODCHR 43Q NIL))
	 (SETQ THXX NIL)
	 (SETQ THALIST (LIST (LIST NIL NIL)))
	 (SETQ THUSERMESSAGES @(MICRO-PLANNER))
	 (SETQ THGENS 0Q)
	 (SETQ THGENAME 0Q)
	 (INITFN NIL)
	 T)
	EXPR)
       (DEFPROP PCLEANUP
	(LAMBDA NIL
	 (REMOB PLNRFNS PINIT PUNINIT PCLEANUP)
	 (RPLACD (MEMQ @THEOREM GRINPROPS) NIL)
	 (THFLUSH)
	 (EXCISE)
	 (GC)
	 T)
	EXPR))